paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 04:53:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

documentation: Modify cases of "[a-zA-Z] e\.g\.," for readability.

Browse Source
This commit is contained in:
Lauryn Menard
2024-07-09 17:45:31 +02:00
committed by Tim Abbott
parent 53c575d8cb
commit 32b2eb5f47
22 changed files with 37 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/git/zulip-tools.md
View File

@@ -120,7 +120,7 @@ HEAD is now at 5a1e982 tools: Update clean-branches to clean review branches.
`tools/push-to-pull-request` is primarily useful for maintainers who
are merging other users' commits into a Zulip repository. After doing
`reset-to-pull-request` or `fetch-pull-request` and making some
changes, you can push a branch back to a pull request with e.g.,
changes, you can push a branch back to a pull request with, for example,
`tools/push-to-pull-request 1234`. This is useful for a few things:
- Getting CI to run and enabling you to use the GitHub "Merge" buttons