We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Problem description Once dev branch is prepared for r0.12, merge it into master.
dev
r0.12
master
Problem location Pravega samples repository.
Suggestions for an improvement Merge dev into master via a merge commit (not squashing).
The text was updated successfully, but these errors were encountered:
RaulGracia
Successfully merging a pull request may close this issue.
Problem description
Once
dev
branch is prepared forr0.12
, merge it intomaster
.Problem location
Pravega samples repository.
Suggestions for an improvement
Merge
dev
intomaster
via a merge commit (not squashing).The text was updated successfully, but these errors were encountered: