Oops, I did not mean to merge this, got stuck on autopilot! I recognize the irony of making an error like this as part of the effort to clearly delineate ownership of projects. Please let me know if you have any concerns, @nirvdrum (I'm assuming the harm of rewriting history and force pushing to undo this is worse than any harm from asking forgiveness rather than permission for a change like this).
Oops, I did not mean to merge this, got stuck on autopilot! I recognize the irony of making an error like this as part of the effort to clearly delineate ownership of projects. Please let me know if you have any concerns, @nirvdrum (I'm assuming the harm of rewriting history and force pushing to undo this is worse than any harm from asking forgiveness rather than permission for a change like this).