In terms of core behavior, I'd expect either for "Auto Merge" to have not merged my PR for me, or for the Merge button to not be disabled. Smaller thing is that the UI didn't represent the status very well until I reloaded.
p
Pranathi Peri
06/29/2023, 2:37 PM
Hey ben! Thanks for the feedback - we'll see what's going on here