⚠️ SERVICE NOTICE: This instance will be decommissioned 1 december of this year (2026).
Please migrate your projects to our new repository:
https://gitrepo.service.rug.nl
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
I have tried to harmonise the input and output file name conventions.
Ziet er goed uit!
160a673d5fto8a09d00a518a09d00a51tof93596dd87