mirror of
https://github.com/go-gitea/gitea
synced 2024-12-27 05:34:26 +01:00
6e75739c5b
Follow-up for #23458 I could have suggested this on the original PR, but I thought there would be more to add. Hadn't noticed the push options docs already had nearly the same shell command. 😅 Signed-off-by: jolheiser <john.olheiser@gmail.com> |
||
|---|---|---|
| .. | ||
| doc | ||
| page | ||