issues Search Results · language:Dune language:Python language:JavaScript language:HTML language:Python language:TypeScript
Filter by
63M results
Now that we have many activities, the list on the left is too long so it is hard to navigate. And the add dialog is far
away from the activity.
- Move the cards to the bottom
- Remove the registration ...
enhancement
Problem
Students are removing each other to free up space for themselves in the activities.
Recommended Solution
Add a user icon in the top right. When clicked it shows a login button. When the login ...
enhancement
The GitHub Skills activity announced by our principal is missing from the school activities signup page.
Yesterday in the school assembly, the principal announced a new partnership with GitHub to teach ...
enhancement
acceptance criteria:
- [ ] You didn t forget
chore
Teachers are afraid to modify the program since they think they might break it. Move the list of activities out of the
python file into a dedicated activities.json file.
enhancement
There seems to be no order to the activities. Please fix this.
Here are my ideas, maybe in a toolbar above the activity cards.
- Add some filters, for example by category. If needed, add a field to ...
enhancement
The website is blue, but our school colors are white and lime green. Please fix this.
Also, why are none of our mascots on the page? Please use the various options from https://octodex.github.com/
Oh ...
bug
Found during a design-conformance review of the inference layer.
Doc/code gap. docs/api-sketch.org ( Duck-typing in inference helpers ) promises that helpers detect a missing
per-observation-contributions ...
Is your feature request related to a problem?
When i add https://find.xenorio.xyz to the Firefox 151 while instance has set POST in its Privacy settings page, and
then change the setting to GET, it does ...
new feature
Summary
On Ubuntu 26.04 LTS, Nagstamon fails to start with a NotADirectoryError. The resource path detection in Config.py uses
os.path.exists() instead of os.path.isdir() when probing for a resources ...

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.