Skip to content

Adjust the sync label bot to reflect recent GitHub CLI changes#36894

Merged
vbraun merged 2 commits intosagemath:developfrom soehms:adapt_sync_labels_to_gh_changesDec 19, 2023
+23-5

Commits

Commits on Dec 15, 2023