search

vermiculus / magithub

**DEPRECATED - please use Forge instead!** -- Magit-based interfaces to GitHub
GNU General Public License v3.0
579 stars 63 forks source link

Commenting workflow improvements/fixes #207

Closed vermiculus closed 6 years ago

vermiculus commented 6 years ago

This was indeed merged; it included the following commits:

Turns out though that if you

  1. rebase the local branch onto master,
  2. merge the local branch into local master, and
  3. push local master to remote, you'll through the PR for the branch into a weird state.