Skip to content

Instantly share code, notes, and snippets.

View kelynch's full-sized avatar

Kate Lynch kelynch

  • Princeton University Library
View GitHub Profile
#!/bin/bash
if [ -z "$1" -o '!' -f "$1" ]
then
echo "Invalid input file specified"
echo "Usage: split.sh <infile> [<chunksize:10000>]"
echo
exit 1
fi
@kelynch
kelynch / gist:140cce429e689f54b156b66c8c3c6014
Last active June 11, 2021 20:45
Branch Renaming contrib language

Title

Add language to README about branch naming

Description

Add the following branch renaming language to the README for this repository.

## Contributing 
@kelynch
kelynch / circleciinfo.md
Created June 10, 2021 12:54
CircleCI info

Text for issue

Title

Add CircleCI information for branch name testing

Description

CircleCI can be used to prevent the recreation of the old default branch name. This helps preserve automatic redirection to the new default branch, and prevents accidentally re-adding the legacy branch from a stale fork. If CircleCI is not integrated with this repository, please do the following:

@kelynch
kelynch / gist:9ba595e369c304b560477f3636b41e8a
Created June 15, 2021 18:43
Update your local git clone from master to main
# Run the following on your local git clone:
git checkout master
git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a