Gabriel Martim 13 december 2024 Gebruik regelsets en vertakkingsregels met PyGithub om de samenvoegwachtrij van GitHub in te schakelen Samenvatting: Merge queue