diff options
| author | Yoni Rabkin <yoni@rabkins.net> | 2020-11-05 11:32:41 -0500 |
|---|---|---|
| committer | Yoni Rabkin <yoni@rabkins.net> | 2020-11-05 11:32:41 -0500 |
| commit | b3f889dd050fba380e880967c3609ee5744d7224 (patch) | |
| tree | 8a52b937dfeac51a601926f2bb61b5356408682e /Makefile | |
| parent | 87059ff05739ad98bf1ab32e6b1c8917d5e21556 (diff) | |
* doc/developer-release.txt: update push command
Update push command according to Stefan Monnier's advice:
> + - from the "elpa" branch in Savannah push to elpa.git:
> + "git push elpa elpa:refs/heads/externals/emms"
AFAIK the use of "refs/heads/externals/emms" is necessary when creating
this branch (i.e. for the initial push) but for updates, you can use the
more concise and friendly "externals/emms".
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions