Some thoughts on personal Git hosting