diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.lp-to-git-user | 5 | ||||
| -rwxr-xr-x | tools/migrate-lp-user-to-github | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user index 04c7a9eb..eba1cd8e 100644 --- a/tools/.lp-to-git-user +++ b/tools/.lp-to-git-user @@ -1,6 +1,9 @@ { "chad.smith": "blackboxsw", + "i.galic": "igalic", + "larsks": "larsks", "legovini": "paride", "powersj": "powersj", - "raharper": "raharper" + "raharper": "raharper", + "tribaal": "chrisglass" }
\ No newline at end of file diff --git a/tools/migrate-lp-user-to-github b/tools/migrate-lp-user-to-github index f012d312..6a498072 100755 --- a/tools/migrate-lp-user-to-github +++ b/tools/migrate-lp-user-to-github @@ -212,7 +212,7 @@ def main(): try: lp_user_migrate_branch.createMergeProposal( commit_message=commit_msg, merge_target=master, needs_review=True) - except Exception as e: + except Exception: log('[launchpad] active merge proposal already exists at:\n' '{url}\n'.format(url=lp_merge_url)) else: |