Dummy approach to update mirror repository.

retrieve_branch_and_push.md

Let's say we have branch(es) on main repository and we want to fetch it/them to our mirror repository, how do we do it ?

1. Fetch the branch using this command !

   $ git fetch https://gitlab.com/main/repository remote_branch_name:local_branch_name
   

2. Switch to new fetched branch !

   $ git checkout local_branch_name
   

3. Push the new branch to the mirror repository !

   $ git push origin local_branch_name
   

update_mirror.md

Update mirror repository, main repository from gitlab & mirror repository on github.

Steps

1. Enter local mirror repository (cloned from github).

   $ cd local_mirror
   

2. Fetch updates from remote main repository (gitlab).

   $ git fetch https://gitlab.com/main/repository
   

3. Merge updates.

   $ git merge FETCH_HEAD
   

4. Push updates to remote mirror repository.

   $ git push origin master