Unstable repository

This blog post is only for very nerdy people. I’ve just added an unstable git repository. The idea is that collaborators can push local experimental git branches of the stacks project to this unstable repository on the server. This may be useful if you are using multiple machines to work, for example a desktop at home and at work. This will also speed up communication with me. Namely, if your branch has some usable material in it, you can email me a pull-request to ask me to merge it into the stacks project.

If you’d like to try this, then email me your id_rsa.pub and I’ll email you instructions. This setup is not ideal since it is fairly easy to screw up using git, e.g. delete the main branch and/or delete branches of others. So I will not randomly let everybody have access. In fact, if you want to setup a remote location to store your changes or any project you are managing with git, then you might instead want to look at github. In particular, you could maintain your own clone of the stacks project there…