make possible to user alternate GITHUB url, cleanup