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