dev/public: links for diff-as-git