Skip to content
New issue

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

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

Already on GitHub? # to your account

Updated Bazel to 0.25.0. #3433

Closed
wants to merge 1 commit into from
Closed

Conversation

excitoon
Copy link
Contributor

@excitoon excitoon commented May 3, 2019

@lukesampson @r15ch13 Pls merge this.

@r15ch13
Copy link
Member

r15ch13 commented May 3, 2019

Please use the new main bucket
It was already updated to version 0.25.0
https://github.com/scoopinstaller/scoop-main/blob/master/bucket/bazel.json

@r15ch13 r15ch13 closed this May 3, 2019
@excitoon
Copy link
Contributor Author

excitoon commented May 3, 2019 via email

@excitoon
Copy link
Contributor Author

excitoon commented May 3, 2019

I wonder why you did not use git filter-branch in order to preserve history @r15ch13.

@r15ch13
Copy link
Member

r15ch13 commented May 3, 2019

The history was preserved, but GitHub doesn't show it.
See commit history: https://github.com/scoopinstaller/scoop-main/commits/master?after=b46606d7ba08f52eb27a5775f6d83115e640894d+174
Init scoop-main bucket was committed 11 days ago. 😄

@excitoon excitoon deleted the patch-1 branch May 3, 2019 12:30
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants