Some git/GitHub adaptations.