Rico Sta. Cruz
|
511de900ba
|
Formatting updates (#2133)
- Update some sheets which have very long sections
- Remove `layout: 2017/sheet` (everything has the same layout now)
- Remove outdated sheets
|
2024-04-03 18:30:24 +11:00 |
Julien Lamandé
|
6cf3493058
|
Add the mention of push --force-with-lease (#1611)
`--force-with-lease` is safer than `--force` as it checks that you are up-to-date with the remote branch.
|
2021-02-06 09:26:07 +11:00 |
Rico Sta. Cruz
|
360bb87287
|
Cleanup: update timestamps of files
|
2020-07-04 23:33:09 +10:00 |
Rico Sta. Cruz
|
9490cf3adf
|
Merge pull request #1319 from filipve1994/patch-1
Update git-branch.md
|
2020-02-13 21:52:45 +11:00 |
Rico Sta. Cruz
|
4704baedfa
|
Merge pull request #1323 from erok415/patch-2
Update git-branch.md
|
2020-01-20 16:16:15 +11:00 |
Rico Sta. Cruz
|
85ed8e15aa
|
Update git-branch.md
|
2020-01-20 16:15:41 +11:00 |
Rico Sta. Cruz
|
b81b7b73c9
|
Update git-branch.md
|
2020-01-20 16:15:24 +11:00 |
Rico Sta. Cruz
|
ef74b689ef
|
Update git-branch.md
|
2020-01-20 16:13:57 +11:00 |
Rahul
|
fd9ccf25d5
|
Update git-branch.md
To delete a branch already pushed and merged with remote, use `git branch -d $branchname`
|
2020-01-17 12:51:18 +05:30 |
Erik Cochran
|
eb2a0eabe1
|
Update git-branch.md
|
2020-01-09 18:45:50 -08:00 |
Filip Vanden Eynde
|
f2844aee9f
|
Update git-branch.md
to delete a remote branch, you have to add the parameter --delete
https://www.educative.io/edpresso/how-to-delete-remote-branches-in-git
|
2020-01-07 10:55:21 +01:00 |
Ahmedur Rahman Shovon
|
c706d50ca4
|
updated git-branch.md
- Added branch listing
- Added branch deleting
|
2019-03-28 11:24:55 +06:00 |
Rico Sta. Cruz
|
3e7a5554be
|
git-branch: update
|
2017-09-20 22:04:14 +08:00 |
Rico Sta. Cruz
|
8cc346449f
|
Categories
|
2015-11-24 15:30:17 +11:00 |
Rico Sta. Cruz
|
901184e5b8
|
Update resolutions, git, etc.
|
2014-09-11 22:25:43 +08:00 |