git.sr.ht/~cypheon/Idris2/commit/7a4bc9d8e8ffdca1a54cfa5728fec98540c9e238.patch

Preview meta tags from the git.sr.ht website.