diff options
author | Reuben Thomas <rrt@sc3d.org> | 2012-03-20 13:37:21 +0000 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2012-03-20 17:30:09 +0100 |
commit | eb7136185a852d5769d64af3585115632b41517c (patch) | |
tree | dc1b237f6094967f4c38c1aebf442f0521367ca3 /top/README-release | |
parent | 6cfb7e03622dcdb23c1a0edce72b771cfa4aa1df (diff) | |
download | gnulib-eb7136185a852d5769d64af3585115632b41517c.tar.gz |
README-release: simplify slightly
* top/README-release: Run "git checkout master" only once.
Diffstat (limited to 'top/README-release')
-rw-r--r-- | top/README-release | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/top/README-release b/top/README-release index 680547bd55..29ba2606b5 100644 --- a/top/README-release +++ b/top/README-release @@ -1,6 +1,6 @@ Here are most of the steps we (maintainers) follow when making a release. -* Start from a clean, up-to-date git directory: +* Start from a clean, up-to-date git directory on "master": make -k maintainer-clean || { ./configure && make maintainer-clean; } git checkout master @@ -10,10 +10,10 @@ Here are most of the steps we (maintainers) follow when making a release. are in your PATH. See the buildreq list in bootstrap.conf for the complete list of tools. -* Ensure that you're on "master" with no uncommitted diffs. - This should produce no output: +* Ensure that you have no uncommitted diffs. This should produce no + output: - git checkout master; git diff + git diff * Ensure that you've pushed all changes that belong in the release: |