push-options.md: adapt to Forgejo

v1.19/user/index.md

@@ -35,6 +35,7 @@ involved in running it on their machines.
   - [API Usage](api-usage)
   - [API Reference](https://codeberg.org/api/swagger)
   - [Migrating Repositories](https://docs.codeberg.org/advanced/migrating-repos/)
+  - [Push Options](push-options)
 - See also
   - [Codeberg guide on Git](https://docs.codeberg.org/git/)
   - [Codeberg guide on Markdown](https://docs.codeberg.org/markdown/)

v1.19/user/push-options.md

@@ -1,24 +1,11 @@
 ---
-date: "2020-07-06T16:00:00+02:00"
+layout: '~/layouts/Markdown.astro'
-title: "Usage: Push Options"
+title: 'Push Options'
-slug: "push-options"
+license: 'Apache-2.0'
-weight: 15
+origin_url: 'https://github.com/go-gitea/gitea/blob/699f20234b9f7cdbbeeee3be004470c598fa1147/docs/content/doc/usage/push-options.en-us.md'
-toc: false
-draft: false
-menu:
-  sidebar:
-    parent: "usage"
-    name: "Push Options"
-    weight: 15
-    identifier: "push-options"
 ---
 
-# Push Options
+There is support for some [push options](https://git-scm.com/docs/git-push#Documentation/git-push.txt--oltoptiongt).
-
-In Gitea `1.13`, support for some [push options](https://git-scm.com/docs/git-push#Documentation/git-push.txt--oltoptiongt)
-were added.
-
-## Supported Options
 
 - `repo.private` (true|false) - Change the repository's visibility.