` git checkout devel # your version of devel git reset --hard nim-lang/devel # reset to nim-lang/devel git push --force # push to github `
Run
` git checkout devel # your version of devel git reset --hard nim-lang/devel # reset to nim-lang/devel git push --force # push to github `
Run