Welcome! One more optional step to diminish the natural stress of the first public commit: after you commit to your origin at Github https://github.com/lesyna/set.mm/ but before you commit to the upstream, as Jim wrote, your first draft pull request to https://github.com/metamath/set.mm/ from your origin, you can check in relative privacy, still in your cloned repo, here https://github.com/lesyna/set.mm/actions/workflows/verifiers.yml whether all your verifiers will pass = be green.
P. On Tue, Jul 18, 2023 at 12:41 AM David A. Wheeler <[email protected]> wrote: > > > > > On Jul 17, 2023, at 5:21 PM, Larry Lesyna <[email protected]> wrote: > > > > I am ready to submit my first theorem to Metamath. I tested it in my local > > copy of set.mm and I have created a personal fork. I could submit a pull > > request, but I think it would be better if my submission could be reviewed > > before doing so. I appreciate any advice. > > WONDERFUL! We're always delighted to have new contributors. > Jim Kingdom gave some great advice. Welcome aboard! > > --- David A. Wheeler > > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/ADE2F615-6313-4B94-BF57-18634E6ECCB3%40dwheeler.com. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAJJTU5qR_94_XJpK49kiq2OsE9v8Vw0sd5PZycgU7qG6bTTYqg%40mail.gmail.com.
