10-09-2015, 07:21 PM
@NiLSPACE, the plugin should just say "download a newer version"; if there is a mechanism to actually get the version numbers, it should also be capable of downloading the metadata about the version (such as the release date, or pretty-version)
@tigerw having version numbers maintained by the repository is always a difficult problem, because of updating them in a platform-independent way. That's why I propose we don't even store them at all, and use the metadata about the commit to specify the version.
@tigerw having version numbers maintained by the repository is always a difficult problem, because of updating them in a platform-independent way. That's why I propose we don't even store them at all, and use the metadata about the commit to specify the version.