@ariadne@social.treehouse.systems @mcc@mastodon.social @xarvos@outerheaven.club that would be the pretty way. Another pretty way would be having nixpkgs maintainers add that info. I said it was an awful way that would require full system building for a reason, I imagine it’s possible to override the default check phase or even the fetchers to check the downloaded src for .copilot and alike and fail if present.