search

ContentMine / meta

A repository in which to file and fix meta issues (issues affecting more than one ContentMine repo or project)
0 stars 0 forks source link

ContentMine GitHub profile: no repositories pinned #17

Open ghost opened 7 years ago

ghost commented 7 years ago

The list of ContentMine repositories is in no particular order, and frequently changes. This imposes cognitive and time costs on people looking for specific repositories.

ContentMine is not on GitLab and therefore cannot group repositories, but are @ContentMine/administrators OK with me at least pinning the AMI stack modules, WikiFactmine, and other currently-prominent ContentMine repositories (please, tell me which!) to the ContentMine GitHub profile? This is not high priority, but it is very low cost (just a few minutes of time) and would be nice to have.

Obviously, the pins can be updated in the future, if appropriate.

As usual, please give thumbs up if you approve (please name any repos you think should be pinned). And if you think this is a terrible idea, please give constructive criticism.

Thanks!

tarrow commented 7 years ago

Good idea.

Leave me to do the WikiFactMine ones thought. There are some I need to migrate from tarrow etc...

On Wed, Jun 7, 2017 at 3:23 PM, modem_down notifications@github.com wrote:

The list of ContentMine repositories https://github.com/contentmine is in no particular order, and frequently changes. This imposes cognitive and time costs on people looking for specific repositories.

ContentMine is not on GitLab https://github.com/ContentMine/meta/issues/2 and therefore cannot group repositories, but are @ContentMine/administrators https://github.com/orgs/ContentMine/teams/administrators OK with me at least pinning https://github.com/blog/2191-pin-repositories-to-your-github-profile the AMI stack modules, WikiFactmine, and other currently-prominent ContentMine repositories (please, tell me which!) to the ContentMine GitHub profile? This is not high priority, but it is very low cost (just a few minutes of time) and would be nice to have.

Obviously, the pins can be updated in the future, if appropriate.

As usual, please give thumbs up if you approve (please name any repos you think should be pinned). And if you think this is a terrible idea, please give constructive criticism.

Thanks!

— You are receiving this because you are on a team that was mentioned. Reply to this email directly, view it on GitHub https://github.com/ContentMine/meta/issues/17, or mute the thread https://github.com/notifications/unsubscribe-auth/AHA02zMapAxubi3sgzD3AXndVnhJKAtYks5sBrJfgaJpZM4NyyB- .

petermr commented 7 years ago

Thanks, Please just do the AMI-stack on ContentMine (cm-pom and 10 repos). The others are not relevant to the Tilburg project.

On Thu, Jun 8, 2017 at 11:06 AM, My Name notifications@github.com wrote:

Good idea.

Leave me to do the WikiFactMine ones thought. There are some I need to migrate from tarrow etc...

On Wed, Jun 7, 2017 at 3:23 PM, modem_down notifications@github.com wrote:

The list of ContentMine repositories https://github.com/contentmine is in no particular order, and frequently changes. This imposes cognitive and time costs on people looking for specific repositories.

ContentMine is not on GitLab https://github.com/ContentMine/meta/issues/2 and therefore cannot group repositories, but are @ContentMine/administrators https://github.com/orgs/ContentMine/teams/administrators OK with me at least pinning https://github.com/blog/2191-pin-repositories-to-your-github-profile the AMI stack modules, WikiFactmine, and other currently-prominent ContentMine repositories (please, tell me which!) to the ContentMine GitHub profile? This is not high priority, but it is very low cost (just a few minutes of time) and would be nice to have.

Obviously, the pins can be updated in the future, if appropriate.

As usual, please give thumbs up if you approve (please name any repos you think should be pinned). And if you think this is a terrible idea, please give constructive criticism.

Thanks!

— You are receiving this because you are on a team that was mentioned. Reply to this email directly, view it on GitHub https://github.com/ContentMine/meta/issues/17, or mute the thread https://github.com/notifications/unsubscribe-auth/ AHA02zMapAxubi3sgzD3AXndVnhJKAtYks5sBrJfgaJpZM4NyyB- .

— You are receiving this because you are on a team that was mentioned. Reply to this email directly, view it on GitHub https://github.com/ContentMine/meta/issues/17#issuecomment-307059490, or mute the thread https://github.com/notifications/unsubscribe-auth/AAsxS3wuR1tRBUEo-w61UlPLfHKO6i-cks5sB8evgaJpZM4NyyB- .

-- Peter Murray-Rust Reader Emeritus University of Cambridge +44-1223-763069 and ContentMine Ltd

ghost commented 7 years ago

On further thought: to avoid creating a huge list of pinned repos that might not be much better than the existing list, perhaps we ought to just just to pin one repo per project, and have that project's README link to the other repositories for the project.

For example:

etc. Sound good?

ghost commented 7 years ago

Re-opening, as issue has not been resolved and seems to have been closed erroneously. (Cf. https://github.com/ContentMine/meta/issues/5#issuecomment-308723497 .)