Submissions via Github issues

Open Source project maintenance best practice is to be tolerant of input and strict in output. Not everyone has the time, patience, resources, skillset or (frankly) interest to negotiate the forking and cloning of Git repositories.

This document is an illustrated guide to submitting new gaps and bettered merits to the list of known first occurrence prime gaps by using the Github “issues” web GUI.

Select “issues” tab

---

Click “New issue” button

---

Choose “gap/merit submission” label

---

Confirmation of choice of “gap/merit submission” label

---

Add a (concise) descriptive title, add an explanatory comment and select the file attachment tab

---

Navigate to and select file of results in either Nicely or CSV format, using .txt file extension

---

Confirm successful upload of attachment

---

Use “Write” and “Preview” for editing/styling of the explanatory message

---

When finished, click on “Submit new issue” to submit the issue

---