+1 from me as well. definitely an improvement for the eyes ;)
Am Donnerstag, dem 12.01.2023 um 06:49 +0000 schrieb Philipp Zehnder: > +1, yes I like the idea.<br> > > Von: Dominik Riemer > <[[email protected]](mailto:[email protected])><br> > Datum: Mittwoch, 11. Januar 2023 um 21:46<br> > An: [[email protected]](mailto:[email protected]) > <[[email protected]](mailto:[email protected])><br> > Betreff: License Header in PR notifications<br> > Hi,<br> > > should we remove the license header from the PR template? As it is included > in every email in the body, it just makes reading PR info much more > difficult, and I don't think there is any requirement to include the license > header in PR notifications.<br> > We could simply add the PR template file to the rat exclusions.<br> > > Cheers<br> > DOminik<br>
