Rename all of green/red - untested CI code FTW!