When applying a `Merge` action, we verify that the commit is in the history of the default branch of that user. Since this is not the case when issuing a `rad merge`, and since that command is no longer needed with the push-based merge, we remove the `rad merge` command completely. |
||
|---|---|---|
| .. | ||
| git | ||
| git.rs | ||
| refs.rs | ||