don't run lab-1 test when merging into master (because the merger's user login may be different from that of the student that pushed the commit).