Align documentation and user-facing language with project conventions
This commit is contained in:
@@ -94,7 +94,6 @@ Merge and discard coordination must decide from the database's current state, ne
|
||||
- `git fetch` and `git push` run non-interactively (`GIT_TERMINAL_PROMPT=0`, ssh `BatchMode=yes`, overriding any `core.sshCommand`), so a remote needing a password or an unknown host key fails at once instead of waiting for input. Every git command runs in its own process group, killed whole on timeout, so an `ssh` it started can't finish a fetch or push after byre has moved on.
|
||||
- A push error other than a non-fast-forward rejection is ambiguous, since the remote may have taken the push before the connection dropped; byre then fetches and checks whether the commit landed before deciding.
|
||||
- The project's checkout must have the default branch checked out: a merge fast-forwards it.
|
||||
- byre's `grep` doesn't read the global `core.excludesFile`.
|
||||
|
||||
## Signing merges
|
||||
|
||||
|
||||
Reference in New Issue
Block a user