[Agda-dev] Latest issue statistics

[Andreas Abel]

Fiddled with the updated GitHub API to once more produce charts for the 
issue projection:

   https://github.com/agda/agda/issues/5555#issuecomment-988948049

The number of issues remaining open is still growing, but not terribly 
beyond linear.

-- 
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/