Mikael
Results
1
issues of
Mikael
**motivation** This PR removes some minor inconsistencies/bugs but mainly it adds the option of authenticating as github app instead of a single user. This makes it easier to manage use...