Rename pool->resource

bjackman · Jul 7, 2024 · 43135da · 43135da
1 parent e7ddaf3
commit 43135da
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -12,7 +12,7 @@ use tokio::select;
 use crate::git::Worktree;
 
 mod git;
-mod pool;
+mod resource;
 mod process;
 mod test;
 

diff --git a/src/pool.rs → src/resource.rs b/src/pool.rs → src/resource.rs
diff --git a/src/test.rs b/src/test.rs
@@ -24,7 +24,7 @@ use tokio_util::sync::CancellationToken;
 use crate::git::PersistentWorktree;
 use crate::git::TempWorktree;
 use crate::git::{CommitHash, Worktree};
-use crate::pool::Pool;
+use crate::resource::Pool;
 use crate::process::OutputExt;
 
 // A test task that will need to be repeated for each commit.