This pipeline executes a series of git commands to fetch changes from a specified repo (defaults to this GitHub repo) and pulls those changes into a mirror repo.
This way we can have a mirror repo that contains the same revision history as our public repo, but we can automate the process of syncing it up to date.
This pipeline executes a series of git commands to fetch changes from a specified repo (defaults to this GitHub repo) and pulls those changes into a mirror repo.
This way we can have a mirror repo that contains the same revision history as our public repo, but we can automate the process of syncing it up to date.