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

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

Linked Hostnames

3

  • General Meta Tags

    13
    • title
      ~cypheon/Idris2: Merge remote-tracking branch 'upstream/main' into rapid - sourcehut git
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • vcs
      git
    • vcs:default-branch
      rapid

  • Link Tags

    3
    • icon
      /static/logo.svg
    • icon
      /static/logo.png
    • stylesheet
      /static/git.sr.ht/main.min.d91d8272.css

Links

426