Closed racheltrimble closed 1 year ago
@marip8 I tried manually merging, but melodic
(probably wisely) is push-protected. Do you know how to restart (or override) CI so that this very sensible typo fix can be merged? I realize that we don't use melodic
any more, but someone else did go to the trouble of fixing it for us.
I just removed the requirement to have CI pass on the melodic branch
@racheltrimble thanks for the contribution
Thanks all!
On Wed, 10 May 2023, 6:07 pm Michael Ripperger, @.***> wrote:
@racheltrimble https://github.com/racheltrimble thanks for the contribution
— Reply to this email directly, view it on GitHub https://github.com/ros-industrial/industrial_training/pull/371#issuecomment-1542540819, or unsubscribe https://github.com/notifications/unsubscribe-auth/AWA36OQK4VEEEBRLNUT4BZLXFPDO5ANCNFSM5GNSBZ6A . You are receiving this because you were mentioned.Message ID: @.***>
It looks like CI has hung on this one. I'm going to pull down and manually merge.