How to merge the current branch into another branch
The current highest-voted answer by @zerome is a good one, but is a bit needlessly verbose.
In the base of your git repo you can just do this: git push . dev:master
A more generalised solution that would work anywhere in the tree would be:
git push $(git rev-parse --show-toplevel) dev:master
1. Add a remote alias for your local repository, ex:
git remote add self file:///path/to/your/repository
(Or on windows git remote add self C:\path\to\your\repository
)
2. Push to the self remote, ex:
git push self dev:master