This PR seeks to add a brief set of instructions for updating one's fork using either GitHub's web interface or the terminal. Using GitHub's web interface does incur a merge commit each time, but I think that is a low cost to make syncing as easy as possible. This will be a way we can help lower the barrier to contributing
This PR seeks to add a brief set of instructions for updating one's fork using either GitHub's web interface or the terminal. Using GitHub's web interface does incur a merge commit each time, but I think that is a low cost to make syncing as easy as possible. This will be a way we can help lower the barrier to contributing