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): |
Description
Background
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
- Set up an abpbot GitHub account and grant it write access to our mirrored repositories.
- Generate a new SSH key for this user.
- Make hg.adblockplus.org 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
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
Note: See
TracTickets for help on using
tickets.
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.