summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterInitial commitJakob Odersky7 years
pull-basedUse ansible-pull to propagate changesJakob Odersky7 years