mirror of
https://github.com/go-gitea/gitea
synced 2024-08-20 09:14:57 +02:00
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 |