fortunately they'd only been working on bug fixes since the last push so there weren't any problems, but I started looking for other ways of doing it after that