Chris Siefert
Chris Siefert
How did you even find out that feature exists?
It is in the C++17 standard, which we do require full support for...
I never liked the Nullspace1...Nullspace9 goop...
@mhoemmen @bartlettroscoe : Opinions?
It could be controlled via a Label, in case you didn't want it deleted.
Here is an action that does delete on merge: https://github.com/marketplace/actions/delete-merged-branch
We could also set the repo to just do that (thanks for the functionality, Microsoft!) https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches
@romintomasetti We'll discuss this at the Tpetra meeting on Tuesday. Thanks for bringing this up!
@romintomasetti Sorry, we ran out of time at the meeting today. We'll discuss this after TUG.
Random test failure: NOX_Brusselator