proper github URL