I followed instructions here for changing the base branch of a pull request someone made on my repo. After changing the branch, though, the issue was closed and I don't think the merge was made. Any idea why or how I can still make the merge? Thanks!
Asked
Active
Viewed 74 times
1
-
1Please show us the link to your pull request? – Akash Sep 06 '20 at 18:16
-
[Here](https://github.com/dafriedman97/mlbook/pull/3), thanks! – dfried Sep 07 '20 at 03:51
-
The branch being merged is probably created from `master` which maybe ahead of `gh-pages`. See this - https://github.com/dafriedman97/mlbook/pull/3/commits/a8409b59acd5c6bdc5fc913b5295466b79698bf3 – Akash Sep 07 '20 at 04:41