You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looks like the repo doesn't allow individual commits in a PR branch to be preserved on merging (see below). The debate around this stuff isn't super interesting, but I'd argue that leaving the decision about whether individual commits in a branch merit preservation is best left to the reviewer/merger, rather than having a hard-block at the repo level. Sometimes individual commits are complex and have well-written commit messages, and could be productively revisited later on, etc.
Also, pykokkos repo doesn't have this restriction, FWIW.
The text was updated successfully, but these errors were encountered:
Looks like the repo doesn't allow individual commits in a PR branch to be preserved on merging (see below). The debate around this stuff isn't super interesting, but I'd argue that leaving the decision about whether individual commits in a branch merit preservation is best left to the reviewer/merger, rather than having a hard-block at the repo level. Sometimes individual commits are complex and have well-written commit messages, and could be productively revisited later on, etc.
Also,
pykokkos
repo doesn't have this restriction, FWIW.The text was updated successfully, but these errors were encountered: