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.

Sign up for GitHub

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

Jump to bottom

vagrant: make restart.sh executable #13625

Merged
merged 1 commit into from
Oct 20, 2020
Merged

vagrant: make restart.sh executable #13625

merged 1 commit into from
Oct 20, 2020

Conversation

twpayne
Copy link
Contributor

@twpayne twpayne commented Oct 19, 2020

No description provided.

@twpayne twpayne added release-note/misc This PR makes changes that have no direct user impact. area/build Anything to do with the build, more general than area/CI labels Oct 19, 2020
@twpayne twpayne requested a review from kkourt October 19, 2020 14:12
@twpayne twpayne requested a review from a team as a code owner October 19, 2020 14:12
kkourt
kkourt approved these changes Oct 19, 2020
View reviewed changes
Copy link
Contributor

@kkourt kkourt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

cheers!

@kkourt kkourt added the ready-to-merge This PR has passed all tests and received consensus from code owners to merge. label Oct 20, 2020
@aanm aanm merged commit 429ebe8 into master Oct 20, 2020
@aanm aanm deleted the pr/twpayne/exec-restart.sh branch October 20, 2020 08:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pchaigno pchaigno pchaigno approved these changes

@kkourt kkourt kkourt approved these changes

Assignees
No one assigned
Labels
area/build Anything to do with the build, more general than area/CI ready-to-merge This PR has passed all tests and received consensus from code owners to merge. release-note/misc This PR makes changes that have no direct user impact.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@twpayne @kkourt @pchaigno @aanm