David
David
The latest deployment was in August, looks like there was something wrong here. 👀 Maybe we need to make another commit to deploy it. Should we do that? 
### Description There are plenty of profiles using the graduation hat without a hyphen (similar to `Graduation Hat`). The correct syntax is `graduation-hat`. This bug should be fixed as fast...
# Description - Update the Code of Conduct to the latest version. # Why The Code of Conduct is outdated. Using the latest version is better, IMO. --- # Code...
# Description Adding the Gitpod ready-to-code system will make the process of compiling much easier in just a single click. # Solution I already know how to set it up....
### Describe the bug The previous non-slash commands do not work right now (which is totally normal), but the slash commands do not work either. Do we have to re-add...
### Is your feature request related to a problem? Please describe. Adding the Gitpod ready-to-code system will make the process of compiling much easier in just a single click. This...
### Detailed description Adding a pull request template will make the work for maintainers much easier. ### Context This would make the review process easier, plus, letting the maintainers/reviewers know...
### Description There are 10+ CodeQL alerts on the whole repository. This should be fixed immediately. ### Expected behavior CodeQL/LGTM alerts should be fixed. ### Actual behavior We have 10+...