[06:48:54 CDT(-0500)] <chilversc_> where does one get an issue id from for phpCAS, since the PHPCAS-### numbers don't match up to the issue tracker since it switched to github
[06:49:32 CDT(-0500)] <chilversc_> so these instructions seem to be out of date compared to the link to the bugtracker for phpCAS https://wiki.jasig.org/display/CASC/Developing+phpCAS