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

verilator_4_016 --> v4.016 #1459

Merged
merged 2 commits into from
Jun 5, 2020
Merged

verilator_4_016 --> v4.016 #1459

merged 2 commits into from
Jun 5, 2020

Conversation

apaj
Copy link
Contributor

@apaj apaj commented Jun 2, 2020

Related issue: Branch verilator_4_016 does not exist anymore.

Type of change: documentation

Impact: no functional change

Development Phase: proposal

Release Notes
It seems Verilator creators changed the way they organize their branches/version in their repository, so instead of the branch verilator_4_016, there is a version v4.016 now.

@apaj apaj requested a review from a team as a code owner June 2, 2020 10:04
@CLAassistant
Copy link

CLAassistant commented Jun 2, 2020

CLA assistant check
All committers have signed the CLA.

Copy link
Contributor

@jackkoenig jackkoenig left a comment

Choose a reason for hiding this comment

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

Thanks! Can you sign the CLA?

@apaj
Copy link
Contributor Author

apaj commented Jun 3, 2020 via email

@jackkoenig jackkoenig added this to the 3.2.x milestone Jun 5, 2020
@jackkoenig jackkoenig added the Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI. label Jun 5, 2020
@mergify mergify bot merged commit 803ccbb into chipsalliance:master Jun 5, 2020
mergify bot pushed a commit that referenced this pull request Jun 5, 2020
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 803ccbb)
mergify bot pushed a commit that referenced this pull request Jun 5, 2020
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 803ccbb)
@mergify mergify bot added the Backported This PR has been backported label Jun 5, 2020
mergify bot added a commit that referenced this pull request Jun 5, 2020
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 803ccbb)

Co-authored-by: apaj <[email protected]>
mergify bot added a commit that referenced this pull request Jun 22, 2020
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
(cherry picked from commit 803ccbb)

Co-authored-by: apaj <[email protected]>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Backported This PR has been backported Please Merge Accepted PRs that are ready to be merged. Useful when waiting on CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants