Opened on 06/15/2016 at 02:24:36 PM

Closed on 06/16/2016 at 11:57:30 AM

#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.

Attachments (0)

Change History (3)

comment:1 Changed on 06/15/2016 at 02:28:15 PM 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 on 06/16/2016 at 11:25:41 AM 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 on 06/16/2016 at 11:57:30 AM by matze

  • Resolution set to fixed
  • Sensitive unset
  • Status changed from new to closed

Add Comment

Modify Ticket

Change Properties
as closed .
The resolution will be deleted. Next status will be 'reopened'.
to The owner will be changed from fhd.
Note: See TracTickets for help on using tickets.