# HG changeset patch
# User Bryan O'Sullivan <bryano@fb.com>
# Date 1452892489 28800
# Node ID 900d36a3e4dd25d34aad044aecde2adb663d5520
# Parent  9bda75a0c783f491d5c9d914495c6bcfd7e5f820
with: use context manager in verify

diff -r 9bda75a0c783 -r 900d36a3e4dd mercurial/verify.py
--- a/mercurial/verify.py	Fri Jan 15 13:14:50 2016 -0800
+++ b/mercurial/verify.py	Fri Jan 15 13:14:49 2016 -0800
@@ -22,11 +22,8 @@
 )
 
 def verify(repo):
-    lock = repo.lock()
-    try:
+    with repo.lock():
         return verifier(repo).verify()
-    finally:
-        lock.release()
 
 def _normpath(f):
     # under hg < 2.4, convert didn't sanitize paths properly, so a