Delete github.sh: inlined