A tool for maintaining the shiny repository