Alternate repo root #872

Merged
merged 1 commit into from Nov 29, 2012

Conversation

2 participants
@dgrnbrg

dgrnbrg commented Nov 28, 2012

This is the correct pull request to be associated with issue #869

@dgrnbrg

This comment has been minimized.

Show comment
Hide comment
@dgrnbrg

dgrnbrg Nov 28, 2012

I don't understand why @hugoduncan's commit is in this pull request, since it appears to already be merged into master. I am very confused now.

I have testing my patch, and it worked in that it added the :scm metadata to the pom.xml for a subproject.

dgrnbrg commented Nov 28, 2012

I don't understand why @hugoduncan's commit is in this pull request, since it appears to already be merged into master. I am very confused now.

I have testing my patch, and it worked in that it added the :scm metadata to the pom.xml for a subproject.

Allow project's git repository to be different than project root
This allows for other directories to be used for the automatic
repository tagging. This is useful for repositories that contain
multiple projects, such as leiningen-core and leiningen, so that both
will have the correct repository tag information in their pom.xml.
@technomancy

This comment has been minimized.

Show comment
Hide comment
@technomancy

technomancy Nov 29, 2012

Owner

Looks good; thank you.

Owner

technomancy commented Nov 29, 2012

Looks good; thank you.

technomancy added a commit that referenced this pull request Nov 29, 2012

@technomancy technomancy merged commit b4c5fe5 into technomancy:master Nov 29, 2012

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment