+[2016-12-23T20:36:57Z]aollierjnavila: Super ! :) +[2016-12-23T20:38:06Z]aollierjnavila: J'ai envoyé un e-mail à Ben pour savoir pourquoi il ne se passe rien sur ma PR #686 sur le dépôt progit2 depuis bientôt 3 semaines. +[2016-12-23T20:39:25Z]aollierjnavila: Il a tout de même validé une PR qui a été faite après la mienne donc il est toujours actif. +[2016-12-23T20:40:56Z]aollierjnavila: Tu es au courant de quelque chose toi ? +[2016-12-23T20:41:39Z]jnavilaaollier: Nope.
how do you make a folder on the github ui in a repo
+[2016-12-24T21:39:11Z]ThiefMasteri think they are generated so nope, you can't delete them +[2016-12-24T21:39:27Z]ThiefMasterbut couldn't you have some kind of fallback so they work without git describe? +[2016-12-24T21:39:55Z]ThiefMastere.g. use 'dev' or '0.0.0' as a version if there's no git repo you can get the actual version from +[2016-12-24T21:43:45Z]BradleySthat’s the idea but it’s not pretty of course +[2016-12-25T04:25:51Z]_NoShello