This message was deleted.
# report-bugss
Slackbot
08/21/2023, 11:28 PMThis message was deleted.
j
Jacob Gold
08/21/2023, 11:29 PMThis is GitHub behavior — if the head branch changes to match the commit of the base branch, GitHub closes the PR automatically
😲 1
t
Tyler Laprade
08/21/2023, 11:30 PMI see - thanks!
Tyler Laprade
08/21/2023, 11:31 PMA nice-to-have QoL feature would be to preserve my diff in Graphite with a
ReopenTyler Laprade
08/21/2023, 11:47 PMMerge when ready