anchor.diff:          // We changed files on disk - let the workspace know to re-scan the
           // project and fire any necessary resource change events.
           Timer.run(() => project.refresh());
  -      });
  +      }).catchError((e) => SparkException.fromException(e));
       });
     }
   
  
positive.code:     return objectStore.then((store) {
        GitOptions options = new GitOptions(root: entry, store: store,
            username: username, password: password);
        return Push.push(options);
      });
    }
  
  
negative.code:           result.message = item.message;
            return result;
          }).toList();
        }).catchError((e) => SparkException.fromException(e));
      });
    }
  
  