master
and dev
git checkout dev
in your fork so that you are working from the latest development branchdev
such as git checkout -b your-branch-name
dev
-derived branch in your fork to the dev
branch from the antlr/antlr4
repo:Note: Each commit requires a "signature", which is simple as using -s
(not
-S
) to the git commit command:
git commit -s -m 'This is my commit message'
Github's pull request process enforces the sig and gives instructions on how to fix any commits that lack the sig. See Github DCO app for more info.