I’m happy to just show "HEAD" if the sha isn’t there yet, but would it be better to just not show it here at all until it’s determined? Can we hook this up to the JS auto-update stuff so that it turns up once it has been computed? Not a major problem by any means, but just worth seeing if there’s something easy we can do here to improve things.