Git Forked Repository Operations: Difference between revisions

From NovaOrdis Knowledge Base
Jump to navigation Jump to search
Line 26: Line 26:


=Send a PR=
=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=
=Sync the Repository after the PR Merge=

Revision as of 19:59, 1 November 2023

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