git.sr.ht/~cypheon/Idris2/commit/0060bc7b65cc83e16a9e2d413acb66447f79747d.patch

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