Skip to content

bpo-30232: Support Git worktree in configure.ac#1391

Merged
vstinner merged 1 commit intopython:masterfrom
vstinner:git_worktree
May 2, 2017
Merged

bpo-30232: Support Git worktree in configure.ac#1391
vstinner merged 1 commit intopython:masterfrom
vstinner:git_worktree

Conversation

@vstinner
Copy link
Copy Markdown
Member

@vstinner vstinner commented May 2, 2017

Don't test if .git/HEAD file exists, but only if the .git file (or
directory) exists.

Don't test if .git/HEAD file exists, but only if the .git file (or
directory) exists.
@mention-bot
Copy link
Copy Markdown

@Haypo, thanks for your PR! By analyzing the history of the files in this pull request, we identified @doko42, @loewis and @Yhg1s to be potential reviewers.

@brettcannon brettcannon added the type-bug An unexpected behavior, bug, or error label May 2, 2017
@vstinner vstinner merged commit 5facdbb into python:master May 2, 2017
vstinner added a commit that referenced this pull request May 2, 2017
* bpo-30232: Support Git worktree in configure.ac (#1391)

Don't test if .git/HEAD file exists, but only if the .git file (or
directory) exists.
(cherry picked from commit 5facdbb)

* bpo-30232: Regenerate configure (#1396)

Run autoconf.
(cherry picked from commit 9ed34a8)
vstinner added a commit that referenced this pull request May 2, 2017
* bpo-30232: Support Git worktree in configure.ac (#1391)

Don't test if .git/HEAD file exists, but only if the .git file (or
directory) exists.
(cherry picked from commit 5facdbb)

* bpo-30232: Regenerate configure (#1396)

Run autoconf.
(cherry picked from commit 9ed34a8)

(cherry picked from commit 4dae0d1)
@vstinner vstinner deleted the git_worktree branch June 15, 2017 23:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type-bug An unexpected behavior, bug, or error

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants