Skip to content
This repository has been archived by the owner on Nov 1, 2023. It is now read-only.

Bump PyGithub in check-pr #2569

Merged
merged 2 commits into from
Oct 27, 2022

Conversation

tevoinea
Copy link
Member

@tevoinea tevoinea commented Oct 27, 2022

Summary of the Pull Request

What is this about?

I've been seeing intermittent 5xx errors from check-pr when fetching PR info from github. Hopefully this fixes it.

PyGithub 1.56 changelog: https://pygithub.readthedocs.io/en/latest/changes.html#version-1-56-october-13-2022

Validation

Ran check-pr and it worked on the first try.

@tevoinea tevoinea enabled auto-merge (squash) October 27, 2022 15:57
@codecov-commenter
Copy link

codecov-commenter commented Oct 27, 2022

Codecov Report

❗ No coverage uploaded for pull request base (main@76cde40). Click here to learn what that means.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2569   +/-   ##
=======================================
  Coverage        ?   30.91%           
=======================================
  Files           ?      254           
  Lines           ?    29603           
  Branches        ?        0           
=======================================
  Hits            ?     9153           
  Misses          ?    20450           
  Partials        ?        0           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@tevoinea tevoinea merged commit 85437df into microsoft:main Oct 27, 2022
@ghost ghost locked as resolved and limited conversation to collaborators Nov 26, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants