fix bug 1042684: remove schedule and developer menus from repos