1
0
mirror of https://github.com/git/git.git synced 2024-10-22 12:28:32 +02:00

remote-helpers: avoid has_key

It is deprecated.

[fc: do the same in remote-bzr]

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Dusty Phillips 2013-04-22 16:55:09 -05:00 committed by Junio C Hamano
parent 118f60ee06
commit 3473ecd7ff
2 changed files with 2 additions and 2 deletions

@ -94,7 +94,7 @@ class Marks:
return self.last_mark
def is_marked(self, rev):
return self.marks.has_key(rev)
return str(rev) in self.marks
def new_mark(self, rev, mark):
self.marks[rev] = mark

@ -129,7 +129,7 @@ class Marks:
self.last_mark = mark
def is_marked(self, rev):
return self.marks.has_key(str(rev))
return str(rev) in self.marks
def get_tip(self, branch):
return self.tips.get(branch, 0)