Add explicit bareRepository configuration when pushing bare mirror (g…

…ithub#35338) Signed-off-by: James Knight <[email protected]> Co-authored-by: Alex Nguyen <[email protected]>
ebfork · Dec 17, 2024 · 1367c2f · 1367c2f
1 parent 1ab5dab
commit 1367c2f
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/...equests/collaborating-with-pull-requests/working-with-forks/detaching-a-fork.md b/...equests/collaborating-with-pull-requests/working-with-forks/detaching-a-fork.md
@@ -35,7 +35,7 @@ You can delete a fork and recreate the same repository, without the connection t
 1. Create a bare clone of the fork.
 
    ```shell
-   git clone --bare https://{% data variables.product.product_url %}/EXAMPLE-USER/FORK-NAME.git
+   git clone --bare https://{% data variables.product.product_url %}/EXAMPLE-USER/FORK.git
    ```
 
 1. Delete the forked repository. For more information, see [AUTOTITLE](/repositories/creating-and-managing-repositories/deleting-a-repository).<br><br>
@@ -47,15 +47,13 @@ You can delete a fork and recreate the same repository, without the connection t
 1. Mirror-push the repository back to the same remote URL.
 
    ```shell
-   cd FORK-NAME.git
-   git push --mirror https://github.com/EXAMPLE-USER/FORK-NAME.git
+   git --git-dir FORK.git push --mirror https://{% data variables.product.product_url %}/EXAMPLE-USER/FORK.git
    ```
 
 1. Remove temporary local clone you created earlier.
 
    ```shell
-   cd ..
-   rm -rf FORK-NAME.git
+   rm -rf FORK.git
    ```
 
 For more information, see [our support page](https://support.github.com/request/fork) on forks.