now that the bug in the php github api is resolved we can remove this workaround