search

reporanger / ranger

:national_park: A GitHub sidekick for repository maintainers
https://reporanger.com
Apache License 2.0
8 stars 3 forks source link

Repo Ranger failing to merge PRs #120

Closed chris48s closed 1 year ago

chris48s commented 1 year ago

Hello. I've just labelled a whole bunch of PRs for repo ranger to merge. Example https://github.com/badges/shields/pull/8701 and repo ranger isn't updating or merging them.

I think the last time I saw this working was 6 days ago on https://github.com/badges/shields/pull/8685

As always, if I can provide any extra info to help then let me know. Thanks

mfix22 commented 1 year ago

Hey @chris48s sorry about this—our db service provider detached our Redis database from our instance and we are now scrambling for alternatives. Thanks for your patience and understanding.

mfix22 commented 1 year ago

Should be back up now. Sorry for the immense delays.

chris48s commented 1 year ago

Amazing - can confirm this is working. Cheers :)