[Pharo-dev] Basic versioning of GitHub repositories from within Pharo