Opened 4 years ago

Closed 4 years ago

#4154 closed change (fixed)

Set up a dedicated user for GitHub sync

Reported by: fhd Assignee: fhd
Priority: P3 Milestone:
Module: Infrastructure Keywords:
Cc: matze Blocked By:
Blocking: Platform: Unknown / Cross platform
Ready: yes Confidential: no
Tester: Unknown Verified working: no
Review URL(s):



We are currently using Mathias' GitHub account for pushing to our GitHub mirrors. We should have a dedicated GitHub account for this, with as few rights as possible (i.e. only write access to the mirrored repositories).

What to change

  1. Set up an abpbot GitHub account and grant it write access to our mirrored repositories.
  2. Generate a new SSH key for this user.
  3. Make push to the mirrors using the new SSH key.

Change History (3)

comment:1 Changed 4 years ago by fhd

Marked this as confidential for now since it's a potential security issue (arguably not that critical, but still) we should only communicate after we fix it :)

I've completed steps 1 and 2 above already.

comment:2 Changed 4 years ago by fhd

Matze, how I understood you you've taken care of step 3, right? If so, feel free to close the issue.

comment:3 Changed 4 years ago by matze

  • Resolution set to fixed
  • Sensitive unset
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.