diff --git a/iris-bot b/iris-bot index 96c7e19b45cec2c323952651c5c7fc3f4868be9f..0d3a5b048c595d8568270d394e8256f9c12fb0af 100755 --- a/iris-bot +++ b/iris-bot @@ -29,8 +29,6 @@ PROJECTS = { 'gpfsl': { 'name': 'gpfsl', 'branch': 'master', 'timing': True }, # need separate entry for timing 'iron': { 'name': 'iron', 'branch': 'master', 'timing': True }, 'reloc': { 'name': 'reloc', 'branch': 'master' }, - 'spygame': { 'name': 'spygame', 'branch': 'master' }, - 'time-credits': { 'name': 'time-credits', 'branch': 'master' }, 'actris': { 'name': 'actris', 'branch': 'master' }, 'simuliris': { 'name': 'simuliris', 'branch': 'master' }, 'tutorial-popl20': { 'name': 'tutorial-popl20', 'branch': 'master' },