Frank Kuehndel commented on a discussion: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/merge_requests/236#note_151450 @joel I changed it. The pipelines seems not to run currently. So, I cannot say whether they succeed right now. I did not think of any implications with US when Git asked me for my name many years ago and no other project ever complained about it. Openly, this change feels rather odd. As if someone asks you to remove one "r" and one "l" from your name for security reasons. Anyway, I changed my global git name. -- View it on GitLab: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/merge_requests/236#note_151450 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
