Fork Rodin Bundles Repository

We do not work directly on this repository but will fork and contribute the changes via pull requests. You can create a new fork and clone or update an existing fork and clone.

---

Create a New Fork and Clone

Follow the steps below to create the fork and a local clone. You only need to do this once.

• Fork this repository to your GitHub space

• Clone the forked repository to create a local repository.

• Add a remote name eBSoton@gh to track the main repository, i.e. with the URL git@github.com:eventB-Soton/Rodin-Bundles.git (for SSH) or https://github.com/eventB-Soton/Rodin-Bundles.git (for HTTPS). From the terminal, you can use the following command (for example with SSH)

git remote add eBSoton@gh git@github.com:eventB-Soton/Rodin-Bundles.git

Once finished, you will have a local repository that tracks the two remotes:

1. origin (by default): the forked repository on your GitHub area, and
2. eBSoton@gh: the main Rodin-Bundles repository on eventB-Soton.

---

Update Existing Clone and Fork

If you use the existing fork and clone, make sure that they are up-to-date.

• Make sure that the local main branch is up-to-date with the main branch of the eBSoton@gh remote

git pull eBSoton@gh main

• Push the latest change to the forked origin repository

git push origin master