Aman Sharma
Aman Sharma
@khaes-kth have a look at this when you get time.
I pushed [`75b29b0` (#900)](https://github.com/SpoonLabs/sorald/pull/900/commits/75b29b088fe09483bbc3535a3ceb743bc0d7f92a) to reach our coverage target. Otherwise, `catch(InterruptedException | Exception e) { }` results in a compilation error so it is extremely rare to find this case.
@I-Al-Istannen I am sorry. Completely lost context, but I changed what you asked.
@I-Al-Istannen done!
@I-Al-Istannen let's merge?
> Actually, sorry: Could you maybe just revert the commit (with a custom message ideally) and then push that? Instead of invoking all kinds of maven stuff that might fail...
Good idea. Can do that.
@I-Al-Istannen done! I removed maven stuff and I also added a command at the end to delete the remote branch from repository.
Hoping my Sunday is not ruined :crossed_fingers:
Nothing broke it seems :D