Merged #85 "Tag server-side merges when incremental push tags are enabled"

James Moger

2014-05-23 c51db7be8f6f48ddebff5053915be68f77e3fc94

1
2
3
4
5
@REM arch = x86, amd64, or ia32 
SET ARCH=amd64 
 
@REM Delete the gitblit service 
"%CD%\%ARCH%\gitblit.exe" //DS//gitblit