On Wednesday, August 20, 2014 12:56:42 PM UTC-5, Simon Kornblith wrote: > > Does it still not work to use 0.4.0-dev+n as the version in the REQUIRE > file? This used to almost work, but some of the nightlies were missing the > commit number. It certainly seems easier than searching through all the > hashes, although I don't know the git command to get the commit number for > a given hash off the top of my head. >
It's not a simple git command. It looks like base/version_git.sh has a script to get the commit number, which is then stored in base/version_git.jl.
