Amar Takhar commented: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/issues/19#note_109702 Added a note about disabling push abilities to `main` on a personal repo. This happened to me just now and it's a pain to fix since you have to enable force push. Since we're already there adding the mirror it's better to disable it. -- View it on GitLab: https://gitlab.rtems.org/rtems/docs/rtems-docs/-/issues/19#note_109702 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
