git.sr.ht/~cypheon/Idris2/commit/90c16787e8b9517cf31c696d0ecc025d0b6c9008.patch

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