You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The commit history page can be improved in multiple aspects:
Currently, the commit history shows the full-length commit hash:
The author's mail looks like it is clickable, but it is not.
Artemis only displays the author of the commit, which can be modified freely using the --author flag.
The commit history doesn't work that great if you do more than one commit in a single push. The order might be incorrect and every commit gets a "No result".
Describe the solution you'd like
Only show the short hashes (unless on hover)
Use the same color as for the text
Show the identity of the user within the Artemis database instead (or as well). Alternatively, we also implement a push log (like in Bitbucket) for instructors
The order of the commits should be correctly displayed. Further, it might be good to group commits within a single push and assign this group one result instead of one for every commit.
Describe alternatives you've considered
No response
Additional context
No response
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem?
The commit history page can be improved in multiple aspects:
The author's mail looks like it is clickable, but it is not.
Artemis only displays the author of the commit, which can be modified freely using the --author flag.
The commit history doesn't work that great if you do more than one commit in a single push. The order might be incorrect and every commit gets a "No result".
Describe the solution you'd like
Only show the short hashes (unless on hover)
Use the same color as for the text
Show the identity of the user within the Artemis database instead (or as well). Alternatively, we also implement a push log (like in Bitbucket) for instructors
The order of the commits should be correctly displayed. Further, it might be good to group commits within a single push and assign this group one result instead of one for every commit.
Describe alternatives you've considered
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: