Skip to content

Conversation

@zowoq
Copy link
Contributor

@zowoq zowoq commented Feb 14, 2025

No description provided.

@github-actions github-actions bot added the docs label Feb 14, 2025
@zowoq
Copy link
Contributor Author

zowoq commented Feb 16, 2025

#1598 (comment)
Isn't the github topic less work overall than having this list synchronously managed?

@Mic92

Responding here as the other PR was rebased on this one.

For users in nix-community, yes, it is more work as now they either need to send a PR or ask me to do it.

For users outside nix-community, no, as they only need to add the repo to the list, they don't need to bother with adding the topic.

For admins, no, the list is less work and simpler. Buildbot usually needs to be restarted manually anyway to pick up topic changes and it also allows me to enable/disable repos temporarily or permanently without needing to make changes to the repos, adding/removing topics or unarchiving/archiving.

We could revisit this in the future but at the moment this is preferable.

@zowoq zowoq force-pushed the buildbot branch 3 times, most recently from a60bf86 to c885e17 Compare April 8, 2025 04:48
Flake lock file updates:

• Updated input 'buildbot-nix':
    'github:nix-community/buildbot-nix/47ad4c7afb169df6f9d48d0df3d7e2f71d9ddd8f?narHash=sha256-vCYcc/b8WizF6vnjuRVxSiU8hy9L3vOTWDVKpWM7xRE%3D' (2025-07-03)
  → 'github:nix-community/buildbot-nix/e2ee963b1e9aba369db08b34456b6d79c3de37db?narHash=sha256-%2B8MLBdYkXJPM73pLVRaee147wW/EwUZogMcG49CZgWY%3D' (2025-07-12)
@zowoq zowoq marked this pull request as ready for review July 12, 2025 23:52
@zowoq zowoq added this pull request to the merge queue Jul 12, 2025
Merged via the queue into master with commit 1d50c0a Jul 12, 2025
3 checks passed
@zowoq zowoq deleted the buildbot branch July 12, 2025 23:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant