It would be helpful to add GitHub actions integration to manage certain labels, for instance: - Remove `in_progress` when an issue has an associated PR gets merged.
It would be helpful to add GitHub actions integration to manage certain labels, for instance:
in_progresswhen an issue has an associated PR gets merged.