tree e0f1766335a0e77f816c040c80b23db05582d6e0
parent 457cf2c4657ca43cba8bbc4ce6d78ca5f8a32692
parent e45f4d1e93d1bfbe2b2367a2ec10335de53a6394
author David Ostrovsky <david.ostrovsky@gmail.com> 1617719970 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1617719970 +0000

Merge "Exclude jgit module from git push tag operation"