Skip to content
Graham Christensen edited this page Sep 21, 2022 · 2 revisions

The sync tool runs on eris, and pushes to https://github.com/NixOS/rfc39-record/blob/main/invitations.

If someone lost their invitation:

  1. stop the sync timer: systemctl stop rfc39-sync.timer
  2. wait for any existing rfc39-sync jobs to completely finish: systemctl status rfc39-sync
  3. find the user's ID via https://api.github.com/users/USERNAME
  4. make sure https://github.com/NixOS/rfc39-record/blob/main/invitations contains that ID already. If it doesn't, they weren't invited. This may be a scam.
  5. edit the invitations file and remove their user ID, commit, and push to main
  6. start the sync timer systemctl start rfc39-sync.timer && systemctl start --no-block rfc39-sync && journalctl -fu rfc39-sync

The user should have a fresh invite on the next run.