Pinned Loading

1. PowerShell: Migrate Repo from GitLab... PowerShell: Migrate Repo from GitLab to GitHub

   1

   # Mirror-GitLabRepository

   2

   # This script mirrors a source repo from GitLab to GitHub by

   3

   # 1) checking to see if an existing repo exists at the destination (it will skip if it exists)

   4

   # 2) mirrors the repo from GitLab to GitHub

   5

   # 3) updates the default branch on GitHub to match GitLab, also renames the default branch to `main` by default

2. Delete GitHub Workflow runs for a sp... Delete GitHub Workflow runs for a specific Workflow Name

   1

   # This is a quick python script for purging workflow runs under a given name

   2

   # Use this if you are tired of seeing a removed workflow in the Actions history

   3

   4

   import requests

   5