Closed JackStouffer closed 8 years ago
Hmm. The merge was successful but the PR didn't close automatically.
Hmm. The merge was successful but the PR didn't close automatically.
Maybe due to some rebasing? Github only likes "clear" merges with a commit ...
Was the merge done from the command line, or from the GitHub web UI?
I used the merge button on the web page. The page got stuck waiting for a reload and never refreshed. On Jun 12, 2016 7:51 PM, "Vladimir Panteleev" notifications@github.com wrote:
Was the merge done from the command line, or from the GitHub web uI?
— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/dlang/D-Blog-Theme/pull/4#issuecomment-225426107, or mute the thread https://github.com/notifications/unsubscribe/AA6EDKjuX8nITFJ31w11CmRQ_wC11aPyks5qK-SsgaJpZM4IzsIO .
Changes are described in the commit titles
Still investigating the multiple jQuery issue.
@mdparker @wilzbach