Revision 7945b07b323ab9d94f361b74db5b50a5c8233abe authored by Hendrik van Antwerpen on 19 December 2022, 18:03:12 UTC, committed by GitHub on 19 December 2022, 18:03:12 UTC
Use node shape instead of symbol to indicate push and pop nodes
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...