Skip to content

denis,mailman,orbit: rename Gradable.{status => auto_feedback}#278

Merged
charliemirabile merged 1 commit into
masterfrom
gradable_status_to_auto_feedback_rename
Sep 8, 2025
Merged

denis,mailman,orbit: rename Gradable.{status => auto_feedback}#278
charliemirabile merged 1 commit into
masterfrom
gradable_status_to_auto_feedback_rename

Conversation

@theyoyojo

Copy link
Copy Markdown
Contributor

Submissions.status has the same field name and refers to a different type of message so rename this one to better reflect its content.

Also update some variable names to reflect this change.

Submissions.status has the same field name and refers to a different
type of message so rename this one to better reflect its content.

Also update some variable names to reflect this change.

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.

lgtm

@charliemirabile charliemirabile merged commit 87affa4 into master Sep 8, 2025
1 check passed
@charliemirabile charliemirabile deleted the gradable_status_to_auto_feedback_rename branch September 8, 2025 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants