Skip to content

Dashboard enhanced#264

Merged
charliemirabile merged 7 commits into
masterfrom
dashboard_enhanced
Jul 10, 2025
Merged

Dashboard enhanced#264
charliemirabile merged 7 commits into
masterfrom
dashboard_enhanced

Conversation

@theyoyojo

@theyoyojo theyoyojo commented Jul 7, 2025

Copy link
Copy Markdown
Contributor

Breaking up #256 into smaller chunks part 1:

  • Show short message about submission and only reveal full feedback after due date
  • Add patchset submission-time feedback (mailman) to submission ID tags
  • Implement display of grades and feedback on dashboard backed by git notes content

Fixes #255
Fixes #258
Fixes #259
Fixes #260
Fixes #232
Fixes #206

Use the last character of the status string to determine if the patchset
was accepted, rejected, or there are not fatal issues such as whitespace
errors, but don't reveal the full status string

Signed-off-by: Joel Savitz <joel@underground.software>

@charliemirabile charliemirabile left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice and bite (or should I say byte) sized. I think a small refactor in terms of how we fetch the info from the git notes is in order (and a few other nitpicks), but hopefully not too much to execute in a single rebase and push for this PR, and nothing that you won't be able to trivially rebase on top of for the subsequent ones.

Comment thread mailman/patchset.py Outdated
Comment thread orbit/radius.py
Comment thread orbit/radius.py Outdated
theyoyojo added 3 commits July 8, 2025 15:59
Signed-off-by: Joel Savitz <joel@underground.software>
Signed-off-by: Joel Savitz <joel@underground.software>
Signed-off-by: Joel Savitz <joel@underground.software>
@theyoyojo theyoyojo force-pushed the dashboard_enhanced branch from 732b01d to 4bb43fc Compare July 9, 2025 02:26
Comment thread orbit/radius.py
Comment thread orbit/radius.py Outdated
Store the grades for an assignment under the 'grade' ref linked to the
final submission tag, e.g. to add a grade of '66' for user 'bob' assignment
'setup', one would run the following in the grading repo:

$ git notes --ref=grade add setup_final_bob -m '66'
$ git notes --ref=grade add setup_review1_bob -m '22'
$ git notes --ref=grade add setup_review2_bob -m '66'
$ git push origin refs/notes/*

Assuming the connection to the grading repo is configured correctly, the
grade will be immediately live for the student on the course dashboard

Fixes: #259
Fixes: #258

Signed-off-by: Joel Savitz <joel@underground.software>
@theyoyojo theyoyojo force-pushed the dashboard_enhanced branch 5 times, most recently from caf4f9b to 1b65cdf Compare July 9, 2025 22:44

@charliemirabile charliemirabile left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What do you think about this suggestion? Not doing "Request changes" since I am not going to insist on it, but I do feel like the current calculation is kinda spaghetti. But maybe this is too clever...

Comment thread orbit/radius.py
Comment thread orbit/radius.py Outdated
Comment thread orbit/radius.py Outdated
@theyoyojo theyoyojo force-pushed the dashboard_enhanced branch from 1b65cdf to d3308c3 Compare July 10, 2025 00:50
theyoyojo added 2 commits July 9, 2025 20:55
If the oopsie was used for this assignment, just use the final score.

If only one student submitted, just use the final score as no reviews
are required.

If only two students submitted, count the single required review as the
full 20% of the review grade.

Fixes #260

Signed-off-by: Joel Savitz <joel@underground.software>
Right now this is just a fixed string. Soon, the note will contain
automated test output.

Signed-off-by: Joel Savitz <joel@underground.software>
@theyoyojo theyoyojo force-pushed the dashboard_enhanced branch from d3308c3 to 9de9b1d Compare July 10, 2025 00:55
@charliemirabile charliemirabile merged commit 22c9694 into master Jul 10, 2025
1 check passed
@charliemirabile charliemirabile deleted the dashboard_enhanced branch July 10, 2025 01:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants