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

chore(release): Scripts to publish automatically a release. #852

Merged
merged 1 commit into from
Sep 29, 2016
Merged

chore(release): Scripts to publish automatically a release. #852

merged 1 commit into from
Sep 29, 2016

Conversation

GerardPaligot
Copy link
Contributor

No description provided.

@spoon-bot
Copy link
Collaborator

Can one of the admins verify this patch?

@monperrus
Copy link
Collaborator

put them in chore instead of doc?

@GerardPaligot
Copy link
Contributor Author

The folder named doc/_release seems more appropriate.

@GerardPaligot
Copy link
Contributor Author

@monperrus Why spoon-bot have posted something here? Do you change something on Jenkins?

@monperrus
Copy link
Collaborator

The folder named doc/_release seems more appropriate.

your PR is name "chore_release" :-)

@monperrus monperrus merged commit 7a4a80d into INRIA:master Sep 29, 2016
sjd78 pushed a commit to sjd78/spoon that referenced this pull request Nov 3, 2016
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.

3 participants