mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-11-05 23:10:29 +03:00
Better git reset
This commit is contained in:
parent
8a887483c7
commit
cff8228b44
3 changed files with 6 additions and 3 deletions
|
|
@ -91,7 +91,7 @@ class vcs_git(vcs):
|
|||
|
||||
def reset(self, rev=None):
|
||||
if rev is None:
|
||||
rev = 'HEAD'
|
||||
rev = 'origin'
|
||||
if subprocess.call(['git', 'reset', '--hard', rev],
|
||||
cwd=self.local) != 0:
|
||||
print "Git reset failed"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue