This repository was archived by the owner on Feb 10, 2021. It is now read-only.

Description
@jrbourbeau and I are in the process of moving the default branch for this repo from master to main.
What you'll see
Once the name on github is changed (the first box above is Xed, or this issue closed), when you try to git pull you'll get
Your configuration specifies to merge with the ref 'refs/heads/master'
from the remote, but no such ref was fetched.
What you need to do
First: head to your fork and rename the default branch there
Then:
git branch -m master main
git fetch origin
git branch -u origin/main main