driazati commented on PR #11244:
URL: https://github.com/apache/tvm/pull/11244#issuecomment-1138950637

   hey @fPecc it looks like the merge has got github all confused (it's still 
using the old `Jenkinsfile` to run CI which won't work). This snippet should 
wipe out the local branch and rebase it to just your changes:
   
   ```bash
   # get the git diff of your change
   git fetch origin main
   git checkout crt-pre-post-functions
   git merge origin/main
   git diff $(git merge-base origin/main HEAD) HEAD --stat > ~/change.diff
   
   # get to a clean branch
   git reset --hard origin/main
   
   # replay your changes
   cat ~/change.diff | patch -p1 -d .
   git add .
   git commit -m"[CRT runtime] Added functions TVMPlatformPreFuncCall and 
TVMPlatformPostFuncCall"
   git push --force
   ```


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to