@rap1ds @datenschauer Were there any gotchas for you, when you did that migration? We started with lein back in 2010, switched to boot in 2015, and then to the CLI in 2018, and we've been very happy -- but I'm always interested to hear about others' experiences with such migrations!