summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* repo-mirror-ci no longer having issuesMichał Górny2018-05-291-1/+2
* Push a notice about repo mirror&CI problemsMichał Górny2018-05-221-0/+26