tree 62d71acbf53ab488a29e5b81834d63e5497e16d4
parent 8d7c89b29f7d68c2d488bd02b97d6106a916a8c1
author Dan Cross <dcross@google.com> 1463608849 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1463608849 +0000

Allow Akaros Pseudo-user to push.