git.sr.ht/~cypheon/Idris2/commit/c393868c7b161812229ddd0127799ac2d7a63fb7.patch

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