Git Forked Repository Operations: Difference between revisions

From NovaOrdis Knowledge Base
Jump to navigation Jump to search
Line 2: Line 2:
* [[Git_Operations#Procedures|Git Operations]]
* [[Git_Operations#Procedures|Git Operations]]
=Overview=
=Overview=
=Terminology=
The forked repository is known as "head" repository.
The repository that was forked is known as the "base" repository.


=Fork=
=Fork=

Revision as of 19:59, 1 November 2023

Internal

Overview

Terminology

The forked repository is known as "head" repository.

The repository that was forked is known as the "base" repository.

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