updating notes on deleteing remote branch

Author: rohan-paul

Git-and-Github/Delete-Branch.md

@@ -10,3 +10,15 @@ as you can see above, we have 2 different argument, one with ‘d’ and one wit
 The **-d** option stands for --delete, which would delete the local branch, only if you have already pushed and merged it with your remote branches.
 
 The **-D** option stands for --delete --force, which deletes the branch regardless of its push and merge status, so be careful using this one!
+
+
+---
+
+## Delete remote branch permanently
+
+
+```
+git push origin --delete branch_name_to_delete
+```
+
+This will remove the branch called `branch_name_to_delete` from the remote repository. (The `branch_name_to_delete` is a local branch on the remote.