2025-07-09 - 2025-10-09
Overview
2 pull requests merged by 1 user
Merged
#33 Fix cleanup with correct user and permissions
Merged
#31 Rework the CI/CD for production
1 pull request proposed by 1 user
Proposed
#35 Support checks in forked repositories
1 issue closed from 1 user
Closed
#30 Rework the CI/CD for production
3 issues created by 1 user
Opened
#30 Rework the CI/CD for production
Opened
#32 Describe how to migrate this repository elsewhere
Opened
#34 Support checks on forked repositories if possible
1 unresolved conversation
Open
#29
WIP: Remove the about us picture