Git Forked Repository Operations

From NovaOrdis Knowledge Base
Revision as of 19:59, 1 November 2023 by Ovidiu (talk | contribs) (→‎Send a PR)
Jump to navigation Jump to search

Internal

Overview

Fork

Go to GitHub UI and click on the "Fork" button at the top of the page.

Where should we work <project-name>? 

Use your own "personal" organization.

Forking <original-org>/<project-name>

Clone

Clone as usual:

git clone git@github.example.com:ovidiu-feodorov/blue.git

Send a PR

Push the commit in the head repository.

It will show up in the UI.

Click "Compare & pull request"

Sync the Repository after the PR Merge

TODO: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/working-with-forks/syncing-a-fork