` 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

Reply via email to