Skip to content

General: Add total commit count#30

Merged
az108 merged 9 commits intomainfrom
add-total-commit-count
Nov 28, 2025
Merged

General: Add total commit count#30
az108 merged 9 commits intomainfrom
add-total-commit-count

Conversation

@Cathy0123456789
Copy link
Copy Markdown
Collaborator

@Cathy0123456789 Cathy0123456789 commented Nov 23, 2025

Checklist

General

  • I tested all changes and their related features with all corresponding user types.

Description

  • use the submission count we get from Artemis as total commit count

Review Progress

Code Review

  • Code Review 1

@github-actions
Copy link
Copy Markdown
Contributor

🤖 OpenAPI spec and client code auto-updated and committed.

@github-actions
Copy link
Copy Markdown
Contributor

🤖 No OpenAPI or client changes needed.

@Cathy0123456789 Cathy0123456789 changed the title Add total commit count General: Add total commit count Nov 23, 2025
@Cathy0123456789 Cathy0123456789 marked this pull request as ready for review November 23, 2025 21:23
@github-actions
Copy link
Copy Markdown
Contributor

🤖 No OpenAPI or client changes needed.

@github-actions
Copy link
Copy Markdown
Contributor

🤖 No OpenAPI or client changes needed.

@github-actions
Copy link
Copy Markdown
Contributor

🤖 No OpenAPI or client changes needed.

@az108 az108 merged commit 18d642b into main Nov 28, 2025
8 checks passed
@az108 az108 deleted the add-total-commit-count branch November 28, 2025 22:41
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