dev/public: links for git-time