Title
#core
Stefano Bonicatti

Stefano Bonicatti

07/06/2022, 7:26 PM
Last time I tried to close and reopen it would not pick up that update. In any case as maintainers by default we can push/rebase on the branch if the user doesn’t explicitly disable it