Automatic retirement of @Profpatsch

[nixpkgs-committers]

This is an automated PR to retire @Profpatsch as a Nixpkgs committer because they have not used their commit access in the past year.

@Profpatsch: You can make a comment stating why you believe your commit access should be kept. Otherwise, this PR will be merged and implemented in one month.

Note

Commit access is not required for most forms of contributing, including being a maintainer and reviewing PRs. It is only needed for things that require write permissions to Nixpkgs, such as merging PRs.

[wolfgangwalther]

This is one of the cases mentioned in #73 (comment), where the retirement script does not count squash and rebase merges from ~ the first half of the year. There were 2 of these in January, which means the PR would be created in a bit more than 1 month anyway. Thus, let's just proceed as written in the PR description.

[nixpkgs-committers]

One month has passed, so this PR should now be merged and implemented by:

• Adding @Profpatsch to the Retired Nixpkgs Contributors team

  gh api \
    --method PUT \
    '/orgs/NixOS/teams/retired-nixpkgs-contributors/memberships/Profpatsch' \
    -f role=member

• Removing @Profpatsch from the Nixpkgs Committers team

  gh api \
    --method DELETE \
    '/orgs/NixOS/teams/nixpkgs-committers/memberships/Profpatsch'