41–50 of 171 posts
I know this comes from the Github team, but I'm not sure if I want to grant this permission: Delete repositories Ability to delete any adminable repository This application will be able to delete any repository to which you have admin rights.
Is this limited to a particular organization or complete account?
I know this comes from the Github team, but I'm not sure if I want to grant this permission: Delete repositories Ability to delete any adminable repository This application will be able to delete any repository to which you have admin rights.
> Delete repositories
> Ability to delete any adminable repository
> This application will be able to delete any repository to which you have admin rights.
I wonder if exercism.io could have been used as well for this type of thing. Even their pitch is very similar to what's on exercism.io > Learning through Exercism is quite different to other programming websites, with a focus on individual practice and mentor-based learning. Here's how it works. ...
The mentor feature is basically useless, there are way too many people using Exercism for mentors to be able to contact each and every one of them. Your best bet is to just do the exercises themselves and search for any errors.
GitHub classroom is awesome and although it's been around for a while it has seen a lot of love recently, especially adding browser IDE integration and autograding. We at Repl.it worked closely with them to make it really easy for students to start coding in seconds instead of hours. Announcement and HN discussion: - https://github.blog/2020-05-26-code-in-the-browser-with-gith... - https://news.ycombinator.com/item?i…
How do I quickly convince my safeguarding team of the safety of repl.it and github integration?
We’re obviously concerned about pupils having contact with strangers. A much more common problem in schools is bullying. It’s also important to not allow yet another channel for harassment. Anything where pupils can privately message each other is usually quite difficult to endorse.
I'd hate the idea of having a record of all my mistakes as a student. I'd probably just use a separate remote for my develop branch and squash into one commit when merging to master.
This seems like a great way for newcomers to learn the basics of `git` though GitHub. A great move by GitHub to try to capture this market of users who may not yet be comfortable with subversion control.
That being said, I'm a little too annoyed that "GitHub" is synonymous with "Git" in many students' (and professors'!) minds…
This type of system seems obvious for programming courses but I wonder how intuitive it is for pure documents; the classic essay or report style assignments. At what age do kids embrace Markdown as the single source of truth for their documents? Do technical writers within Google use Gerrit, or whatever their Perforce based review process is called, as a core part of their collaborative workflow like coders do?
Markdown is out of its league for proper typestting. LaTeX is superior in a major way.
I know this comes from the Github team, but I'm not sure if I want to grant this permission: Delete repositories Ability to delete any adminable repository This application will be able to delete any repository to which you have admin rights.
And you should have a local working backup
I know this comes from the Github team, but I'm not sure if I want to grant this permission: Delete repositories Ability to delete any adminable repository This application will be able to delete any repository to which you have admin rights.
Obviously you'd probably have it saved on your computer, but this may mitigate / in some instances stop it.
I'd still say its a bit sketchy, but it makes sense in context of the everyday CS student.
I know this comes from the Github team, but I'm not sure if I want to grant this permission: Delete repositories Ability to delete any adminable repository This application will be able to delete any repository to which you have admin rights.