Trigger CI on edited tag; but only for edits to merge target (base)#552
Trigger CI on edited tag; but only for edits to merge target (base)#552markcmiller86 wants to merge 3 commits into
Conversation
|
I am not sure this is worth the trouble. It is some more complex logic that aims to a) properly re-trigger CI if the PR is edited by adding But it should do so only if a PR is edited in specific ways. For example, edits to a PR's title or opening comment should not re-trigger CI whereas edits to the base (target) of the merge should. The alternative is to leave |
|
So, I am deciding to close this pull request. In future, if base of PR is edited, the correct action is to re-trigger CI manually. |
|
@markcmiller86 can you create a new tag so users can point to it when using Silo? I don't particularly care what it's called. |
@junghans and @sbryngelson, a pre-release is available here, https://github.com/llnl/Silo/releases/tag/4.12.1-pre1 |
|
@markcmiller86 is the best |
|
FYI...use |
No description provided.