github常用操作记录

Solution 1
# Remove the history from 
rm -rf .git
# recreate the repos from the current content only
git init
git add .
git commit -m "Initial commit"
# push to the github remote repos ensuring you overwrite history
git remote add origin git@github.com:<YOUR ACCOUNT>/<YOUR REPOS>.git
git push -u --force origin master

Solution 2
git checkout --orphan newBranch
git add -A  # Add all files and commit them
git commit -m "init new"
git branch -D master  # Deletes the master branch
git branch -m master  # Rename the current branch to master
git push -f origin master  # Force push master branch to github
git gc --aggressive --prune=all     # remove the old files

Solution 3
Delete Github Repo = = ,that’s a sad but useful way to totally delete
Warning : solution 1&2 not delete pull request history (discussion, file changes). If you do this in order to delete sensitive data, you should better delete the github repo (along with all its pull request history etc..) and recreate a new one from scratch.

本地配置最大提交内容大小，关闭https验证。

git config http.postBuffer 524288000

git config --global http.sslVerify "false"

git config lfs.https://github.com/Harris-H/ICPC.git/info/lfs.locksverify false

本地配置文件，让windows和linux下编辑文件时换行保持一致。    

autocrlf = false
safecrlf = false