Hein Meling
Hein Meling
Perhaps it would make more sense to add the gamification elements to Discord, where badges and such is already a thing, since we already have a mild connection between QuickFeed...
We should add a test to confirm the problem before implementing a fix and make the test pass.
While our current setup has some limitations (it evolved mostly on a per needs basis), I’m struggling to grasp your arguments as written text, and the code in PR doesn’t...
1. I don't think we can deprecate `-new` because it is used to create a new GitHub app. We do this occasionally and it requires a server to run. It...
I’m not a fan of dealing with email sending with all the concerns involved (spam filters etc.) The obvious idea is to use a frontend thing, but that is also...
Maybe you can create a test case to reproduce this?
This sounds good. In addition, we should add documentation explaining the steps in the `doc/teacher.md` file, along with a state diagram or flow chart (using mermaid) to illustrate the steps...
@Glattshaved maybe put Jostein's text into ChatGPT and ask for a disclaimer message or something, and review it, iterate with ChatGPT if you are not happy with the initial attempt,...
What about this: _The QuickFeed app can only access repositories associated with the course's you've signed up for. Nonetheless, we recommend that you do not use a GitHub account that...
We should add a test case to confirm the problem first, and then implement a fix.