From bbc00edc6508ea1910c4d9e6a272f7859900950d Mon Sep 17 00:00:00 2001 From: seth Date: Fri, 16 Aug 2024 22:14:16 -0400 Subject: end of summer refactor (#31) * crates: `bot-*` -> `discord-bot` I didn't really need all these crates to be split :/ * discord-bot: revamp http impl also handles the new errors reported by teawieAPI * crates: split http backend this can be reused easily * git-tracker: short-circuit boolean logic We don't need to check if the commit is a descendant of the HEAD of the branch if it *is* the HEAD * nix: fenix -> nixpkgs * treefmt: add actionlint * nix: use docker arch names for containers * ci: use actions-rust-lang actions * nix: drop ci dev shell * git-tracker: init ManagedRepository this logic can be shared * ci: use nix for clippy scan * discord-bot: better handle unmerged PRs * ci: fix treefmt check * nix: fix clippy check * .env.template: update crate names * git-tracker: use remote name for remote name i was half asleep * discord-bot: handle merged PRs that aren't found in any tracked branches * git-tracker: make collect_statuses_in() return a Vec * discord-bot: add more PR info with response fixes #18 --- crates/bot-consts/src/lib.rs | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 crates/bot-consts/src/lib.rs (limited to 'crates/bot-consts/src/lib.rs') diff --git a/crates/bot-consts/src/lib.rs b/crates/bot-consts/src/lib.rs deleted file mode 100644 index 9396da0..0000000 --- a/crates/bot-consts/src/lib.rs +++ /dev/null @@ -1,5 +0,0 @@ -/// URL to the nixpkgs repository -pub const NIXPKGS_URL: &str = "https://github.com/NixOS/nixpkgs"; - -/// The Git remote for upstream nixpkgs in our local copy -pub const NIXPKGS_REMOTE: &str = "origin"; -- cgit v1.2.3