From 7bb3c6efae40fa9654726c1a232a6b76b1a6d63a Mon Sep 17 00:00:00 2001
From: Pepe Iborra <pepeiborra@gmail.com>
Date: Sun, 27 Dec 2020 14:36:53 +0000
Subject: [PATCH] Temporarily disable the upstream branch for benchmarks

The benchmark script uses git worktree.
The upstream branch contains a ghcide submodule, which is not well supported by
worktree.
Once this PR has been merged and the upstream branch no longer contains a git
submodule, we can reenable it in the bench config
---
 ghcide/bench/config.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghcide/bench/config.yaml b/ghcide/bench/config.yaml
index 26c179ab02..ef593adbdb 100644
--- a/ghcide/bench/config.yaml
+++ b/ghcide/bench/config.yaml
@@ -55,5 +55,5 @@ versions:
 # - v0.4.0
 # - v0.5.0
 # - v0.6.0
-- upstream: origin/master
+# - upstream: origin/master
 - HEAD