mjeffryes

#!/bin/bash
# Script to checkout a GitHub PR branch from a fork and push it to a new branch in target repo
# This is useful for testing PRs from forks in the main repository.

set -euo pipefail

# Check if PR URL is provided
if [ $# -eq 0 ]; then
  echo "Usage: $0 <github-pr-url>"
  echo "Example: $0 https://github.com/owner/repo/pull/123"

mjeffryes

// PyPI doesn't seem to offer a delete API, so this is my Hack for deleting a large number of prerelease versions:
// 1) Go to the package managmenet page
// 2) Open devetools
// 3) Delete a package manually
// 4) find ths CSRF token from the manual request
// 5) add the token and the versions to deleted to the below code
// ^) execute it in the dev console

token = "your csrf token"
versions = [ 

mjeffryes

customer: vehicle
 @product

vehicle: gas maintenance repair
 @product

gas
 @utility

maintenance: mechanic scheduling parts

mjeffryes

customer: vehicle
 @product

vehicle: gas maintenance repair
 @product

gas
 @utility

maintenance: mechanic scheduling parts

mjeffryes

Keybase proof

I hereby claim:

• I am mjeffryes on github.
• I am mjeffryes (https://keybase.io/mjeffryes) on keybase.
• I have a public key whose fingerprint is 9D2F 6494 0140 5868 4A2E 3E23 4055 4029 AADB F019

To claim this, I am signing this object: