Amar Takhar commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140736 Yes, you are because CI will need to do formatting as well, I'm talking about the "local developer experience" which is 100% tied to CI because CI uses the exact same tools as local developer will use. They aren't separate they're the same thing so regardless if you think it's different that's not how it was designed from the start. The reason why CI uses those same tools is to ensure nothing ever diverges we don't want CI to do anything different than a developer can do locally. I spent a lot of time on this specifically to avoid committed configs this was a restriction put on me and frankly, I really like how it turned out. -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/965#note_140736 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
