proper GitHub URL