Resources
Answers
Examples
Sign in
Get Started
What do you want to save?
Add Code snippet
New code examples
Shell/Bash
2022-03-01 03:30:22
delete local and remote branch github
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Other
2022-02-01 14:51:57
git delete branch local and remote
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Shell/Bash
2022-01-23 07:00:19
remove branch local git
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Shell/Bash
2022-01-22 19:05:08
how to delete a tag
# delete local tag (on your PC) git tag -d "tag_name" # delete remote tag (on server) git push --delete origin "tag_name"
Add solution
Python
2021-11-17 23:32:14
python write error to file
logf = open("download.log", "w") for download in download_list: try: # code to process download here except Exception as e: # most generic exception you can catch logf.write("Failed to download {0}: {1}...
Add solution
Shell/Bash
2021-11-13 20:59:20
remove git branch
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Shell/Bash
2021-11-07 21:58:15
git delete all local branches
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Other
2021-10-26 15:53:13
elasticsearch delete index
curl -XDELETE localhost:9200/shop
Add solution
Shell/Bash
2021-10-24 09:38:09
git delete remote branch
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
Shell/Bash
2021-10-24 05:05:10
delete git branch remote
// delete branch locally git branch -d localBranchName //delete local branch that is unmerged git branch -D localBranchName // delete branch remotely git push origin --delete remoteBranchName
Add solution
‹
1
2
3
4
›
Best helpers
daily
weekly
monthly
for 3 months
Miky
+5
Syafiq Kamarul Azman
+5
Prof. S.premkumar
+5
Teddy Gonzalez
+5
Steve Bowman
+5
Moji Moji
+5
Nitesh
+5
Jung Wook Kim
+5
Pratik Deoghare
+5
Hi-yi
+5
Syam Kumar. V
+5
Zack Marotta
+5
show more
This website uses cookies to make IQCode work for you. By using this site, you agree to our
cookie policy
Welcome Back!
Sign up to unlock all of IQCode features:
Test your skills and track progress
Engage in comprehensive interactive courses
Commit to daily skill-enhancing challenges
Solve practical, real-world issues
Share your insights and learnings
Sign in
E-mail
Password
Recover lost password
Log in
Or log in with
Not registered?
Sign up takes less than a minute
Create a Free Account
Sign up to unlock all of IQCode features:
Test your skills and track progress
Engage in comprehensive interactive courses
Commit to daily skill-enhancing challenges
Solve practical, real-world issues
Share your insights and learnings
Sign up
Email
Password
Sign up for free
Or sign up with
By signing up, you agree to the
Terms and Conditions
and
Privacy Policy
. You also agree to receive product-related marketing emails from IQCode, which you can unsubscribe from at any time.