github.com repository force push
19 Mar
2021
19 Mar
'21
10:30 p.m.
Hi everyone, We had little bit of issue with syncing between WebKit's github and svn repositories. To fix the issue, we had to force push and modify few git commits. In case you notice any conflict in your github.com <http://github.com/> checkout of WebKit repo (which might be because of having one of those commits which we modified), please do the following: "git reset --hard HEAD~100", "git pull". Please let me know if you face any issues. Thanks Aakash
1694
Age (days ago)
1694
Last active (days ago)
0 comments
1 participants
participants (1)
-
Aakash Jain