Revert "use standard github url"

This reverts commit 00ed006549041736ee064bd738e5e06bd8f1750e.