… some new things about git: How to push things to remote branches, and how to push things to several remote repositories at once (thanks to Carsten for the hint).
Currently, I am re-working some underlying data structures of MyMediaLite, the recommender system library that I (well, mostly me) develop. This breaks things BIG TIME, and for quite a while. In other words, a really good case for branching.
I knew how local branching and merging works, but I had no idea how to push the contents of branches to a remote repository without pushing it to the remote master branch.
It turns out it is quite easy:
git push firstname.lastname@example.org:mymedialite/mymedialite.git new_ratings:new_ratings
Well, everything looks easy with git once you find out how to do it. It was not obvious to me, and reading the man pages also did not really help.
Pushing to Several Remote Repositories
[remote "MML"] url = email@example.com:mymedialite/mymedialite.git url = firstname.lastname@example.org:zenogantner/MyMediaLite.git
I can then use the MML alias to push to both repositories:
git push MML
Combining Both Features
And guess what, of course the two features can be combined without a problem:
git push MML new_ratings:new_ratings