diff options
author | Teddy Wing | 2021-06-13 13:24:29 +0200 |
---|---|---|
committer | Teddy Wing | 2021-06-13 13:24:29 +0200 |
commit | 730a82f73beb8054543e424d47b431dd2b94d305 (patch) | |
tree | 063822618dbc8d19863fa0117d5ac8766cb3aab6 | |
parent | b00143088926ae270f58e1f37fe7abfcc5d6b3ef (diff) | |
download | reflectub-730a82f73beb8054543e424d47b431dd2b94d305.tar.bz2 |
run(): Add a note to include the repo name in repo errors
-rw-r--r-- | src/main.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main.rs b/src/main.rs index ef3c87d..ee639dd 100644 --- a/src/main.rs +++ b/src/main.rs @@ -166,6 +166,7 @@ fn run() -> Result<(), MultiError> { // `e` should always be an error. .map(|e| e.err().unwrap()) + // TODO: Prefix error with repo name .collect(); if errors.len() > 0 { |