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

Additions in batches (or docs for this) #146

Closed
jywarren opened this issue Feb 14, 2019 · 5 comments · Fixed by #127
Closed

Additions in batches (or docs for this) #146

jywarren opened this issue Feb 14, 2019 · 5 comments · Fixed by #127
Assignees
Labels
enhancement New feature or request

Comments

@jywarren
Copy link

This bot is so awesome!!! 🙌 👍 🎉 🤖

We often have more than one new contributor per day, so:

We are interested in running this in a batch each week to reduce PR churn and maintenance burden.

If this is already possible, apologies, and could you point us at the docs?

Otherwise we'd love to install and use this app if such a feature were eventually added. Thanks a million!

@jywarren jywarren added the enhancement New feature or request label Feb 14, 2019
@Berkmann18
Copy link
Member

Hi, this is a work in progress (cf #127), so hopefully, we'll get that working soon.

@jakebolam
Copy link
Contributor

Hey @jywarren thanks for the feedback!

As @Berkmann18 has mentioned we're working on this!. We will let you know once its in :)

@jakebolam
Copy link
Contributor

Another attempt codingblocks/qit.cloud#285 (comment)

@js-kyle
Copy link
Contributor

js-kyle commented Aug 18, 2019

This will be a great feature (currently looking at the best way to migrate 80+ contributors), so looking like that will be individual requests at the moment

@tenshiAMD
Copy link
Member

PR #127 is almost done. Closing this one for now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

5 participants