In case a GitHub repository has been renamed, all but first non-GET requests should be be directed towards the renamed repo #1211
Labels
github
Relates to integration with GitHub
gitlab
Relates to integration with GitLab
minor
An annoyance, but not serious
performance
Something works too slow
I've renamed a sandbox repo PawelLipski/mergify-sandbox to PawelLipski/mergify-sandbox-1, while leaving the old name in
git remote
:Now when I run
git machete github create-pr --debug
:After PR #1189 , the result of
GET https://api.github.com/repositories/437973164
is cached bygit_machete.code_hosting.CodeHostingClient.get_org_repo_and_git_url_by_repo_id_or_none
... but still, every POST/PATCH tohttps://api.github.com/repos/PawelLipski/mergify-sandbox/....
results in a 307 redirect. It should be enough to only use the originalPawelLipski/mergify-sandbox
org/repo just once, and then use the new org/repo name (or just repo id) every time.The text was updated successfully, but these errors were encountered: