add script to generate list of repos that need to be synced for a thursday production push