summaryrefslogtreecommitdiff
path: root/githooks
AgeCommit message (Expand)Author
2016-10-17we don't use custom githooks anymore (but gitolite instead)Florian Dold
2016-10-02git hookFlorian Dold
2016-04-26githooks aren't needed anymoreFlorian Dold
2016-03-04update hookFlorian Dold
2016-03-04revert post-receiveFlorian Dold
2016-03-04add post-update hookFlorian Dold
2016-03-04githookFlorian Dold
2016-03-04githookFlorian Dold