Go offline with the Player FM app!
HPR3166: Using Ansible to mirror a Git repo
Archived series ("Inactive feed" status)
When? This feed was archived on February 10, 2021 18:12 (). Last successful fetch was on February 26, 2021 20:39 ()
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 272514979 series 49648
I came up with a way to easily clone a repo living on Github and mirror it, with all the latest commits, on another Git host. You can schedule Ansible to run periodically to ensure your mirror stays updated.
This is Dwayne Lee's improved implementation based on my original script.
3280 episodes
Archived series ("Inactive feed" status)
When? This feed was archived on February 10, 2021 18:12 (). Last successful fetch was on February 26, 2021 20:39 ()
Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.
What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.
Manage episode 272514979 series 49648
I came up with a way to easily clone a repo living on Github and mirror it, with all the latest commits, on another Git host. You can schedule Ansible to run periodically to ensure your mirror stays updated.
This is Dwayne Lee's improved implementation based on my original script.
3280 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.