Closed mstimberg closed 1 year ago
@spirosChv I'd merge this myself but I don't have the right to review/merge my own PR :blush:
@mstimberg you are admin now. please modify the rules accordingly
Using my new admin powers (I think the rules make sense in general, but sometimes it can be useful to override them ;) ) :muscle:
For some reason, the date of the last commit returned by github was a "number of seconds since 1970" in my branch, but seems to be a regular date on the main branch.