Add colour to defunct-readme.sh and ignore .git#3086

silas-hw wants to merge 1 commit into

agda:masteragda/agda-stdlib:masterfrom

silas-hw:colour-readme-cisilas-hw/agda-stdlib:colour-readme-ciCopy head branch name to clipboard