This repository is mirrored on the LINUM GitHub organization. However, in order to synchronize both repositories, one must manually push the the changes from a local repository into the LINUM's respective repository with the mirror option. This must be automated.
From a local repository, here are the necessary commands to synchronize the mirror repository :
Description
This repository is mirrored on the LINUM GitHub organization. However, in order to synchronize both repositories, one must manually push the the changes from a local repository into the LINUM's respective repository with the mirror option. This must be automated.
From a local repository, here are the necessary commands to synchronize the mirror repository :
To do
prod
from this repository to the LINUM's respective repository.References
Dependencies