tree 3cc34bf6e331b5bf067bcccc6fbef971e897697b
parent e2fb00ebb721d8641485d1d5eb712a408b18b9d6
author Sean Dague <sean@dague.net> 1492631512 -0400
committer Sean Dague <sean@dague.net> 1492647560 +0000

Cleanup duplicate get_or_add_user_domain_role

It turns out that we ended up with duplicate versions of this function
merging on top of each other within 3 days, and gerrit didn't catch
it. Boo gerrit. Boo bash.

Change-Id: Ic6aa2f9bafdec906de2bc51d5929beeec48a6a40