Fix 'head' vs 'HEAD' commit resolution

James Moger

2014-03-07 a771f15a172c93d729cfd7982254e3624d6fe8f6

1
2
#!/bin/bash
java -cp gitblit.jar com.gitblit.authority.Launcher --baseFolder data