Out-of-order merge process

[nderjung]

A merge with an invalid email occured on the Unikraft core repo. This should not have happened and now the commit messages has an invalid email address associated with it.

The result here is the failure of several things:

• lack of documentation for Jianyong on how to review a PR (resolved this week with the documentation website is made live);
• The CI picking up your comment as review (at the moment comments AND reviews) -- difficult to determine because people's github names and the one they comment with the Reviewed-by tag may differ
• The approval comment should come after the review comment, in this case, both were detected.