From abela at chalmers.se  Tue Mar 16 08:41:31 2021
From: abela at chalmers.se (Andreas Abel)
Date: Tue, 16 Mar 2021 08:41:31 +0100
Subject: [Agda-dev] hTags decoupled from agda/agda as agda/hs-tags and
 released to hackage
Message-ID: <2f802a8c-8415-5b2b-bd17-41f9909aeb4f@chalmers.se>

Our internal tags generator has moved from src/hTags to being a 
submodule under src/hs-tags.  The code is now hosted in its own repo at

   https://github.com/agda/hs-tags

following the example of agda/fix-whitespace.
I released it to hackage:

   https://hackage.haskell.org/package/hs-tags-0.1.5

I am not an expert at git submodules, but something like

   git submodule update --init --remote src/hs-tags

maybe be necessary in your working copy of the agda repo after you 
pulled the latest master.

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/