From 041082cad564ddba3bc55a66a81684ac9d9018b8 Mon Sep 17 00:00:00 2001 From: Florian Schmaus Date: Mon, 12 Aug 2019 15:26:08 +0200 Subject: Use "git reset --hard" instead of "git stash" --- src/allocators/mesh.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/allocators/mesh.py') diff --git a/src/allocators/mesh.py b/src/allocators/mesh.py index eb0e5b8..604f743 100644 --- a/src/allocators/mesh.py +++ b/src/allocators/mesh.py @@ -2,7 +2,7 @@ import src.allocator sources = src.allocator.Allocator_Sources("Mesh", retrieve_cmds=["git clone https://github.com/plasma-umass/Mesh"], - reset_cmds=["git stash"]) + reset_cmds=["git reset --hard"]) # sources = src.allocator.GitAllocatorSources("Mesh", # "https://github.com/plasma-umass/Mesh", -- cgit v1.2.3