Amar Takhar commented on a discussion: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/487#note_122850 What do you mean? you can checkout the branch to any checked out repository doesn't matter where the branch sits. Also this is what will happen if someone edits source via the web or docs it doesn't matter we can't turn it off and it causes no harm -- View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/487#note_122850 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
