projects
/
git.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
d8ad63a
7ad2458
)
Merge branch 'sp/remote'
author
Junio C Hamano
<gitster@pobox.com>
Mon, 2 Jun 2008 06:43:30 +0000
(23:43 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 2 Jun 2008 06:43:30 +0000
(23:43 -0700)
* sp/remote:
Make "git-remote rm" delete refs acccording to fetch specs
Make "git-remote prune" delete refs according to fetch specs
Remove unused remote_prefix member in builtin-remote
Trivial merge