summaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
* utils: prune git refs on remote updateKarel Kočí2018-08-27
* Change how we do git mirrorKarel Kočí2018-08-27
* Even more fixesKarel Kočí2018-08-26
* Another tryKarel Kočí2018-08-26
* Try to fix git_fetch utilsKarel Kočí2018-08-26
* Add initial configurationKarel Kočí2018-08-26