1,072
edits
Changes
Jump to navigation
Jump to search
m
no edit summary
Line 6:
Line 6:
* Merge it like any other criu changes (create a github pr, get it approved, etc)
* Merge it like any other criu changes (create a github pr, get it approved, etc)
* Tag: <code>git tag -a v$version -m '$summary'</code>
* Tag: <code>git tag -a v$version -m '$summary'</code>
−* Push: git push origin v$version</code>
+* Push: <code>git push origin v$version</code>
== Wiki ==
== Wiki ==