Closed IanButterworth closed 9 months ago
My python knowledge is getting in the way
> logger.info(e.headers())
E AttributeError: 'GithubException' object has no attribute 'headers'
Why version of pygithub are we using in our CI here?
1.54.1 which doesn't store headers https://github.com/PyGithub/PyGithub/blob/34d097ce473601624722b90fc5d0396011dd3acb/github/GithubException.py
ðŸ˜
What's the first version of pygithub that stores the headers?
woo. Now we just need someone with a failing TagBot to try this out by setting TagBot@427ecaa29643c27fc588b03f43d071badfb3c7c9
Or maybe we just release this as a patch and see in the wild
Let's do it. It's green and we can revert in a patch if needed
Trying to check for information we currently ignore that could investigate https://github.com/JuliaRegistries/TagBot/issues/298