do not push themes to github