New feature for the Stacks project: detailed tag edits
Because of the heat wave currently keeping Belgium in its grip (preventing me from doing research...) I decided to finally make the last fixes for a new feature for the Stacks project that has been in the make now for a while: detailed tag edits.
Git has a feature called
git blame, that tells you when a certain line in a file was last edited and by whom. Starting from this idea Johan has built
stacks-history that collects all this information throughout the lifetime of the Stacks project for all tags. If you add a little processing code to get this in the database in a meaningful format and some new website code, and you can check exactly when a tag has been changed!
If you want to see it in action, point your browsers to the history page for the tensor-Hom adjunction.
It's not perfect (it might misinterpret some changes etc.) so if you spot mistakes, please do tell. And if you have suggestions to make this feature (or the Stacks project in general) better, please do tell!