Improve the Commit History Page

[maximiliansoelch]

Is your feature request related to a problem?

The commit history page can be improved in multiple aspects:

1. Currently, the commit history shows the full-length commit hash:

2. The author's mail looks like it is clickable, but it is not.

3. Artemis only displays the author of the commit, which can be modified freely using the --author flag.

4. 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

1. Only show the short hashes (unless on hover)

2. Use the same color as for the text

3. 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

4. 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