default.xml: add github pushurl