I’m really looking forward to use the Repl.it integration. Just running into the following issue…
So I’ve got Repl.it integration enabled to my GitHub Classroom account, but I feel like I am missing something. Here’s what I have done, or at least the workflow I would expect to follow:
- In the course’s GitHub organisation, I made the “assignment” repo.
- I make this a private repo. In fact, everything needs to be private for obvious reason (plagiarism). Otherwise, there’s no way I can use these technologies in a classroom environment.
- I then go to GitHub Classroom, and define the assignment that will use the repo. I also specify that I would like to integrate with the repl.it Online IDE when asked.
- All looks promising so far.
- As a student (different GitHub account), I then “accept” the Classroom invitation for the assignment. It imports the repo for the student account, and adds the Repl.it badge to the README file. All good.
Here’s where I have a problem:
- As a student account again, I click the repl.it badge from the README inside the GitHub repo. I am simulating a student wanting to work on the project.
- I am redirected to the repl.it website, and again log in (as student).
- The problem is that the repl.it website redirects to “https://repl.it/github?message=NOT_FOUND”. It shows me the following:
- No matter what URL I put, it won’t find the repo. I made sure I am getting the student’s repo (not the template).
- So I tried something else… I thought as a student I will try and Create New Repl (blank) from scratch, and then later try and link the GitHub repo to it. But then it forces me to make the Repl public.
Does this mean that Repls created and connected to GitHub Classroom repos (which are allowed to be private) have to be public on the Repl interface side of things? If so, this means we cannot use Repl.it (although I would like to), because I cannot request students to upgrade their Repl.it account to the paid version. I also don’t want students using public Repls if that’s the limitation of the free Repl account.
I think I must have missed an important step in the workflow above. I would have expected at some stage I tell Repl.it that all (student) accounts connected to certain GitHub repos (i.e. for the course) are to be associated with a private Repl, and to not require students to have a paid Repl.it account.
Or maybe I need to update my (staff) Repl.it account to specify I am a teacher? Unfortunately the paid Repl.it Classroom account isn’t feasible for us – we have about 400+ students a semester.