Hello, FYI, GitHub is currently having a service disruption which results in their databases not acting consistent. For me, this impaired creating issues and pull requests - they have been created with a proper ID, but they are not available with a subsequent request. This might also impair the CI system since we rely on GitHub.
More information available at https://status.github.com/messages Best regards, Marco
