nixpkgs prs bot

@nixpkgs-prs-bot.bsky.social

This user hasn't set any names or pronouns yet.