Skip to content

Explain Dlang-Bot's cross for references#124

Merged
PetarKirov merged 1 commit intomasterfrom
wilzbach-patch-1
Jul 5, 2017
Merged

Explain Dlang-Bot's cross for references#124
PetarKirov merged 1 commit intomasterfrom
wilzbach-patch-1

Conversation

@wilzbach
Copy link
Contributor

@wilzbach wilzbach commented Jul 5, 2017

@dlang-bot
Copy link
Collaborator

Thanks for your pull request, @wilzbach!

@PetarKirov PetarKirov merged commit d39d718 into master Jul 5, 2017
@PetarKirov PetarKirov deleted the wilzbach-patch-1 branch July 5, 2017 10:06
@CyberShadow
Copy link
Member

Good effort, but I doubt many people are going to sit down and read the documentation. I think UI changes would be more effective.

The table is a little cryptic, maybe a bullet list in plain English would be better, e.g.:

wilzbach added a commit to wilzbach/dlang-bot that referenced this pull request Jul 7, 2017
People repeatedly have shown problems to recognize that a cross (✗)
means that the PR won't be automatically closed. While this has been
documented in dlang#124, the best solution is to directly display the meaning
on the Bot's comment.
@wilzbach wilzbach mentioned this pull request Jul 7, 2017
wilzbach added a commit to wilzbach/dlang-bot that referenced this pull request Jul 7, 2017
People repeatedly have shown problems to recognize that a cross (✗)
means that the PR won't be automatically closed (and shown) as part of
the changelog.
While this has been documented in dlang#124, the best solution is to directly
display the meaning on the Bot's comment.
@wilzbach
Copy link
Contributor Author

wilzbach commented Jul 7, 2017

Good effort, but I doubt many people are going to sit down and read the documentation. I think UI changes would be more effective.
The table is a little cryptic, maybe a bullet list in plain English would be better, e.g.:

The table has been there for a long and been done by @MartinNowak, so I don't want to change this without his approval (and I actually like the table), but there's a quick fix:

#131

@PetarKirov
Copy link
Member

I also like the table, FWIW.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

Comments