Fix PluginManager not properly respecting --noverify

James Moger

2014-10-27 6ec71bc27f23c89f84bfb662ce180af3a9691dd8

1
2
3
#!/bin/bash
sudo cp service-ubuntu.sh /etc/init.d/gitblit
sudo update-rc.d gitblit defaults