Gedare Bloom commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140735 The solution of downloading and running the CI tools to do this is going to make it a lot harder for contributors to make submissions? What I've heard and remember is that we want to use off-the-shelf tools to deal with the formatting. This has been the direction things have been going for about 5 years now. The "mad dash" is to get this done before we have a release so we don't have a lot of problems with backports and churn after the release. I've also said this multiple times during meetings. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140735 You're receiving this email because of your account on gitlab.rtems.org.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
