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

Path to raku #89

Merged
merged 83 commits into from Oct 14, 2019
Merged

Path to raku #89

merged 83 commits into from Oct 14, 2019

Conversation

lizmat
Copy link
Collaborator

@lizmat lizmat commented Aug 17, 2019

The implementation of #81

@JJ
Copy link
Contributor

JJ commented Aug 17, 2019

pod6 sound very out of place to me for a language called raku. Pod is werid, the 6 makes it even weirder. (Now I think about it is even weird for Perl 6.)

Let's not get into yet another renaming debate. Pod is plain old documentation. pod6 is what we're using now. There's no need to change that. Pod6 is simple Raku documentation language, same as Pod is Perl Documentation language and AsciiDoc (or whatever) is used for Ruby documentation.

@Raku Raku locked as too heated and limited conversation to collaborators Aug 17, 2019
@AlexDaniel
Copy link
Member

I'm locking this ahead of time so that those who want to comment on #81 (but can't because it's locked) won't paste their feedback here simply because there's no other place. It will also allow reviewers (who currently have enough privileges to leave comments here) to have a quiet discussion on what needs to be improved in the PR.

I recommend not to hit approve before this PR stabilizes, because whatever you approve now can be different later. The countdown of 2 weeks will start whenever @jnthn says that this PR looks ready.

@AlexDaniel
Copy link
Member

Also, I've marked most comments as “outdated” because @lizmat++ did a great job of reading the feedback and adjusting the PR accordingly, most voiced concerns are now reflected in the document. If you feel like something is still missing (or is done wrong), please let us know. If you can't comment on this PR, please talk to us on #perl6 channel on freenode. Thank you!

@AlexDaniel AlexDaniel added the language Changes to the Raku Programming Language label Aug 17, 2019
@JJ
Copy link
Contributor

JJ commented Aug 17, 2019 via email

@patrickbkr
Copy link
Member

@AlexDaniel

It seems that nobody wants to even think about issues with extensions, so I give in.

I think the reason many people are hesitant to continue discussing extensions is, because it is unclear whether the discussion is currently allowed or wanted. The word "bikeshedding" has been thrown around multiple times and there have been three PRs all with the goal of getting the discussion over with ASAP. This topic is currently emotionally loaded and people are afraid to get caught in the crossfire.

@AlexDaniel
Copy link
Member

I think the reason many people are hesitant to continue discussing extensions is, because it is unclear whether the discussion is currently allowed or wanted. The word "bikeshedding" has been thrown around multiple times and there have been three PRs all with the goal of getting the discussion over with ASAP. This topic is currently emotionally loaded and people are afraid to get caught in the crossfire.

Sure, and I totally understand that. But there won't be any other time to discuss it. Unless I'm completely misunderstanding something, this is the only time to discuss the extensions.

@vrurg
Copy link
Contributor

vrurg commented Sep 30, 2019

Also, somebody needs to take care of perl6/user-experience#19. It would be nice to have some dedicated effort to help editors get up to date (compared to waiting for years for them to catch up naturally), but I won't be spending any time on that issue.

@AlexDaniel if my list inclusion PR gets approved, then I expect this to be part of my duties.

@JJ
Copy link
Contributor

JJ commented Oct 4, 2019

Ping?

@lizmat
Copy link
Collaborator Author

lizmat commented Oct 4, 2019

FWIW, I'm getting very depressed about the lack of movement (again). And getting more and more tempted to just close the issue and the associated PR, and write my last Perl 6 Weekly on Monday.

@AlexDaniel
Copy link
Member

AlexDaniel commented Oct 4, 2019

@lizmat a little bit of patience, please? Currently we're 10 9.5 days away from the merge. Things like this shouldn't happen overnight anyway. We've had the wrong name for years, the amount of days we have to wait now is nothing compared to that.

Ping @jnthn @maettu @masak @MasterDuke17 @rba @samcv @timo @tony-o @ugexe

I know some of you already approved the PR, but there were some changes, so please take a look at them and leave a review again.

@AlexDaniel
Copy link
Member

AlexDaniel commented Oct 4, 2019

Also, given how nobody is asking for more changes to this PR, we can probably work on things that need to be done after the rename, like Raku/doc#2951. Obviously none of that should be on master before the merge here, but I see no reason not to start preparing, especially if we're that impatient.

@duncand
Copy link

duncand commented Oct 4, 2019

@lizmat Please don't close the issue or PR. They need to stay open and be seen through to completion. These things can take time but the momentum is forward.

@MasterDuke17 MasterDuke17 self-requested a review October 4, 2019 18:44
Copy link

@masak masak left a comment

Choose a reason for hiding this comment

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

It's an exquisite kind of torture to have to repeatedly approve this PR (for reasons I believe I've stated clearly elsewhere), but here comes another approval from me.

@AlexDaniel AlexDaniel requested review from jnthn and timo October 5, 2019 16:43
Copy link
Contributor

@jnthn jnthn left a comment

Choose a reason for hiding this comment

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

Sorry for the delay; I thought I'd already re-approved this last week.

@JJ
Copy link
Contributor

JJ commented Oct 7, 2019

Sorry for the delay; I thought I'd already re-approved this last week.

We all did... Only those approvals were invalidated when new commits were added.

@AlexDaniel
Copy link
Member

Here's a quick update with a clarification because the problem-solving document is worded in a way that is not entirely clear (I'll work on fixing that after we merge this). Basically, everyone has to approve this PR so that we can merge it, but if someone doesn't leave a github review in 14 days, then their approval won't be blocking the merge.

Now, some people explicitly abstained, which is totally fine. However:

By approving a PR the dev confirms that they reviewed and understood the proposal, and that they are OK with it.

So, as I see it, clicking Approve doesn't have to mean that you're fully an advocate of a rename, just that you're fine with the change.

Anyway, as of right now nobody requested any other changes (meaning that we're heading for the merge!), but some people still didn't leave a github review, which means we'll have to wait a bit.

To keep it safe, it'll be 14 days since the voting was restarted. This means that this PR will be merged on October 14th if nobody in the list rejects it or requests more changes.

Because this is a massive change, I'm pinging the reviewers again.
@JJ @jnthn @lizmat @maettu @masak @MasterDuke17 @rba @samcv @timo @tony-o @ugexe

@ugexe
Copy link
Contributor

ugexe commented Oct 9, 2019

I have not been convinced and am against this. I am choosing to abstain entirely due to the loss of a core developer otherwise. Let us not misconstrue this as a victory as multiple people have decided to abstain despite not agreeing with the principle of the name change -- this result is thus entirely the result of politics, and lacks the technical arguments to have resulted in a true unanimous decision. I hope for my own sake I don't regret not declining this in the future.

@lizmat
Copy link
Collaborator Author

lizmat commented Oct 9, 2019

this result is thus entirely the result of politics

Indeed. But sometimes politics are needed. You might remember the VHS video standard. Or even Betamax (which was technically superior to VHS). But nobody remembers the Video 2000 standard, which was technically superior to both Betamax and VHS.

I also really wish this wasn't necessary.

@ugexe
Copy link
Contributor

ugexe commented Oct 10, 2019

Indeed. But sometimes politics are needed. You might remember the VHS video standard. Or even Betamax (which was technically superior to VHS). But nobody remembers the Video 2000 standard, which was technically superior to both Betamax and VHS.

Videotape format war was not won by name, it was won by a technically superior price point. There is nothing in history to suggest Betamax could have won with a different name.

@TimToady TimToady self-requested a review October 11, 2019 16:03
Copy link

@TimToady TimToady left a comment

Choose a reason for hiding this comment

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

I am in favor of this change, because it reflects an ancient wisdom:

“No one sews a patch of unshrunk cloth on an old garment, for the patch will pull away from the garment, making the tear worse. Neither do people pour new wine into old wineskins. If they do, the skins will burst; the wine will run out and the wineskins will be ruined. No, they pour new wine into new wineskins, and both are preserved.”

@ugexe ugexe removed their request for review October 11, 2019 18:36
@duncand
Copy link

duncand commented Oct 11, 2019

I am in favor of this change, because it reflects an ancient wisdom:

“No one sews a patch of unshrunk cloth on an old garment, for the patch will pull away from the garment, making the tear worse. Neither do people pour new wine into old wineskins. If they do, the skins will burst; the wine will run out and the wineskins will be ruined. No, they pour new wine into new wineskins, and both are preserved.”

Wonderful! That's the best endorsement this could get!

Before my thought was just asking for @TimToady blessing on the maintainers' group decision, but it came preemptively!

@AlexDaniel AlexDaniel merged commit b0669a0 into master Oct 14, 2019
@AlexDaniel
Copy link
Member

Thanks everyone for your participation! It's Raku now. It will take some time before the rename is fully complete, but you should see it coming into effect very soon.

@JJ
Copy link
Contributor

JJ commented Oct 14, 2019 via email

@AlexDaniel AlexDaniel deleted the path-to-raku branch November 28, 2019 22:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
language Changes to the Raku Programming Language
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet