Use gh rather than hub as the latter was removed#1292

Merged

mwouts merged 1 commit intomainfrom fix_1291

Dec 15, 2024

+2-4

Commits on Dec 15, 2024

Use gh rather than hub as the latter was removed
mwouts
committed