Type checking helps to reduce the amount of bugs and to understand the software by making the developers know which type is expected for each variable.
Also, python typing can be gradual, so there is no need to add it to the entire codebase at once.
Type checking can be achieved using either type annotations, stub files or special comments. Which method would be easier for sourcehut ?
Related to https://todo.sr.ht/~sircmpwn/sr.ht/20
Commit hashes like 5cc1d1da0c4da1815b7c31a52a768ebae0327033 could be shortened and made into links to the commit, resulting in 5cc1d1da.
Also, this could be done for the short forms too.