Was this PR merged into master? I received an email from Jason yesterday for what I thought was a request to review and then merging PR #31 for routing, but I noticed that the three commits (PR #31) related to routing were already committed to master, which is why I assumed #31 had been closed by the time I got to see it.
However, when I pull the latest commits, the ones related to routing are still not showing up on my local repo. I've tried checking out master and pulling on the terminal. Why aren't these commits showing?
Was this PR merged into master? I received an email from Jason yesterday for what I thought was a request to review and then merging PR #31 for routing, but I noticed that the three commits (PR #31) related to routing were already committed to master, which is why I assumed #31 had been closed by the time I got to see it.
However, when I pull the latest commits, the ones related to routing are still not showing up on my local repo. I've tried checking out master and pulling on the terminal. Why aren't these commits showing?