Justin Geibel 1722e96bb0 Change default branch behaviour for git repos #749
If git repository HEAD points to a branch, use that as the default branch.
Otherwise fall back to previous method.
2012-06-05 15:33:04 +02:00
..
2012-04-04 14:21:43 +02:00
2012-01-03 20:36:40 +01:00
2011-10-29 14:48:03 +02:00
2012-05-14 10:45:50 +02:00
2012-01-03 20:36:40 +01:00
2012-01-03 20:36:40 +01:00
2011-10-29 14:48:03 +02:00