Oh I forgot about that. I'll add it back after taking a shower.
Cool, passed on master. One more step: need to disable CircleCI, or it will keep reporting build status to GitHub, result in commits marked as failure, and send email 😃
Added badge.
CircleCI is failing because I deleted CircleCI.