Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add explaination of why source version tag must be a branch #20286

Merged
merged 2 commits into from
Feb 15, 2019

Conversation

tfoote
Copy link
Member

@tfoote tfoote commented Feb 12, 2019

No description provided.

tfoote added a commit that referenced this pull request Feb 12, 2019
This is capturing the requirements from #20286 more clearly.
@tfoote tfoote merged commit a033657 into master Feb 15, 2019
@tfoote tfoote deleted the tfoote-patch-2 branch February 15, 2019 01:23
tfoote added a commit that referenced this pull request Feb 20, 2019
* Update url validity check with better messages and tag priority

This is capturing the requirements from #20286 more clearly.

* Allow source entries to be tags in some cases.

If test_pull_requests and test_commits are both explicitly false, this
will allow the source entry to contain tags.

* Add support for using commit ids as version.

Co-authored-by: Kei Okada <k-okada@jsk.t.u-tokyo.ac.jp>

* Always clean up tempdir.

* Only check commit id if the version matches a 40 char id string.

* fixing check priority
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants