On Fri, Feb 26, 2016 at 9:25 AM, Joel Sherrill <joel.sherrill@oarcorp.com> wrote: > Hi > > Is there something special needed to commit via git? I got an odd error pushing some minor RTEMS patches and wondered what the proper procedure was. What is "odd error"? H.J.