Removing myself from repos

I was helping consult at a company and was given access to their repos in GitHub and CircleCI.

I left and they’ve removed me from the GitHub organization, but I still have access to the repos in CircleCI.

How do I remove myself from those repos in CircleCI? (I, naturally, don’t have admin access to them.)

Ping? Some help here?

Jeff here was working with me. He was listed as an “outside contributor” on github. I removed him a few days ago, but it appears circleci hasn’t picked that up (at least for the purposes of emails).

Anyone here who can help?

Sorry for the delay on this - I’ve just replied to Ryan’s support ticket.