-
Tobias Hunger authored
Use that in the gitplugin in favor of fullySynchronousGit. Change-Id: Ifd981f3fc5e87e16ad52caf32c204f81acffe586 Reviewed-by: Orgad Shaneh <orgads@gmail.com>
dcdcf540
Use that in the gitplugin in favor of fullySynchronousGit.
Change-Id: Ifd981f3fc5e87e16ad52caf32c204f81acffe586
Reviewed-by: Orgad Shaneh <orgads@gmail.com>