fyi w/ github's outage, it looks like if you push a new commit things will work