Skip to content

New maintainer wanted #533

@andreasabel

Description

@andreasabel

I am passing on maintainership of this package.

I am not a power user of this package; I just use it occasionally to pull the list of issues and their status for https://github.com/agda/agda. It would be better that someone takes over who has a stronger interest and potentially wants to develop it further.

If you like to take over the package, please ping me in a reply.

Please comment on your Haskell developer and maintainer experience when you apply.
If you are a known figure in the Haskell open-source community, you can skip this.

@NorfairKing, do you want to take over? I see you have recently opened a PR.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions