After so many twists and turn, I finaly got the CI greeeeeennn!
Many thanks to David!
PR #3740 is now MERGED!!
As a brownie point, I raised PR #3748
which adds actions to automatically bump man page month.
This was raised by David, himself, which was a boring, manual task.
And he tells me that he loved it! So it makes my day! <3
I also reviewed a PR to add some suggestions.
And on the debci side, I got that MR merged as well!
Thanks to Antonio for quick reviews and merging that! <3
:wq for today.