Run the following command
sed -i '1,200d' file_name.sql
Run the following command
sed -i '1,200d' file_name.sql
Run the following commands
git branch -d BRANCH_NAME git push origin --delete BRANCH_NAME
Run the following command
git branch -d BRANCH_NAME