default.xml: add github pushurl
authorFlorian Boor <florian@kernelconcepts.de>
Fri, 10 Aug 2018 22:06:38 +0000 (00:06 +0200)
committerFlorian Boor <florian@kernelconcepts.de>
Fri, 10 Aug 2018 22:06:38 +0000 (00:06 +0200)

No differences found