We've been using GIT internally for quite some time now and have a pretty good work flow within our team. Yesterday we wanted to submit some bug fixes to a project on Github. That is something new to us. So this is what we did:
- Cloned their repo
- Forked the upstream
- Added our fork as a remote
- Fixed some bugs in the master branch
- Pushed master to our remote fork
- Sent a pull request
- They pulled the changes
- git fetch origin
- On master: git merge origin/master
Is this the correct way to do things? We ended up with an extra "Merge commit 'origin/master'" message that other developers don't seem to get. Also in the log we can see our commits twice.
Everything seems to be OK but it just feels wrong. Does anyone know of any good github workflow pages. The git help pages seem to miss the how to do the local changes part.
I figure if we'd rolled back our master branch after pushing the changes to the fork we wouldn't have this problem, but that does not feel right either.
Any help would be much appreciated!