github PRs are no longer auto-closed
See https://github.com/osmocom/pysim/pulls - there are alrady three PR since August 23 which have not been auto-closed by tsaitsgaist-bot, as it was done in the past.
Can you please have a look and check? Thanks!
Updated by tsaitgaist 10 days ago
- Status changed from New to Resolved
on august 16th I updated the linux debian the script is running on to the new stable (from buster to bullseye).
with this update, some ruby dependencies (e.g. octokit) used by the ruby script to close the tickets got broken.
this is fixed now (I just needed to update them all).
I did not get error notifications because the script did not even start, instead of failing closing tickets.
this is also fixed know (I just need to read localhost mail on this machine from now and then).
when running the script it found no PR to close (the pysim PR got previously closed by hand).