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

Bump version number in runfiles.bash init code #17511

Closed
wants to merge 1 commit into from
Closed

Bump version number in runfiles.bash init code #17511

wants to merge 1 commit into from

Conversation

fmeum
Copy link
Collaborator

@fmeum fmeum commented Feb 16, 2023

The version number wasn't updated in 839ce7f.

@fmeum
Bump version number in runfiles.bash init code
ee526f1 
The version number wasn't updated in
839ce7f.
@fmeum
Copy link
Collaborator Author

fmeum commented Feb 16, 2023

@Wyverald

@fmeum
Copy link
Collaborator Author

fmeum commented Feb 16, 2023

@bazel-io flag

@bazel-io bazel-io added the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Feb 16, 2023
@sgowroji sgowroji added team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file. awaiting-review PR is awaiting review from an assigned reviewer labels Feb 16, 2023
@ShreeM01
Copy link
Contributor

@bazel-io fork 6.1.0

@bazel-io bazel-io removed the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Feb 16, 2023
@bazel-io bazel-io mentioned this pull request Feb 16, 2023
Closed
@keertk keertk requested a review from Wyverald February 16, 2023 18:33
@Wyverald Wyverald added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Feb 17, 2023
@keertk keertk mentioned this pull request Feb 20, 2023
Merged
@keertk keertk removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Feb 20, 2023
keertk added a commit that referenced this pull request Feb 20, 2023
@keertk @fmeum
Bump version number in runfiles.bash init code (#17539)
b041dd3 
The version number wasn't updated in 839ce7f.

Closes #17511.

PiperOrigin-RevId: 510985230
Change-Id: Iff6006a17e4882e1225d5fc02d26d8c3f932f361

Co-authored-by: Fabian Meumertzheim <fabian@meumertzhe.im>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Wyverald Wyverald Wyverald approved these changes

Assignees
No one assigned
Labels
team-ExternalDeps External dependency handling, remote repositiories, WORKSPACE file.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@fmeum @ShreeM01 @Wyverald @bazel-io @sgowroji @keertk