11-04-2022, 11:07 AM
(11-04-2022, 10:59 AM)StDH Wrote: [ -> ]
Anything else happened since 13 May 2021 ?
I'm far from being an expert - but the time since the last commits is rather concerning, is it not?
Edit: "Commit(s)" instead of "push". I think it's better like that? IDK I forgot how to use most of GitHub anyway