using $_GET/$_POST to get the repo_name, since github is not sending it anymore, we can't use the gpc_get_string that ask to have the repo_name set.
1 parent 7b7d121 commit dddb06febd211f8b7b42f8edb1a619aeae57a81c
@Antoine Aflalo Antoine Aflalo authored on 9 Mar 2012
Showing 1 changed file
View
Source/pages/checkin.php