Is agda-pkg maintained?

[wenkokke]

I've just published agda-python, which packages Agda as a Python package. The repository includes a small GitHub Action, which installs Agda from PyPI. It'd be really neat if I could use agda-pkg to add support for library management to the action.

Unfortunately, the project doesn't seem to have had any commits in the past two years, and #47 seems to imply there's no active maintainer.

Is it still maintained? Does it still work?