How do I remove a collaborator?
I may not be using the right term. If I remove a collaborator from my github repository, does that remove them from repl.it?
You should be able to go to your repl, click on invite, and you should see a list of 'multiplayers' who have access to your repl. Just click the x next to the username of the user you want to remove.