scripts/github: fix some accidental copypasta