Closed simonschmeisser closed 3 years ago
Let's not merge any more changes into indigo-devel
.
Let's not merge any more changes into
indigo-devel
.
Agreed, I just wanted to ensure it's functional before sealing it off and archiving it. I assume your positive review indicates that this PR can and should still be merged but nothing beyond that?
Yes, correct.
Would you want to merge this @simonschmeisser ?
Or are you waiting for something else to go in first?
Just need an approval :)
Oh, the review was dismissed.
Thanks, maybe I should stop pushing those final commits the moment you press "Approve" ...
I slightly messed up
indigo
compatibility when merging #199 instead of #139 toindigo-devel
. This restores compatibility withindigo
(it has been "broken" already since at least 2018 however) and enables CI for it to prevent future regressions