gurkult / gurkbot

Our community bot, used for running the server.
MIT License
18 stars 16 forks source link

Feature: Retrieve Issue From All Git Repos #11

Closed Shivansh-007 closed 3 years ago

Shivansh-007 commented 3 years ago

Retrieve Issue From All Git Repos

Command that allows users to retrieve issues from all github repos of gurkult.

Example:

!issue gurkbot 456 ( !issue repo issue-number) !issue meta 12

gustavwilliam commented 3 years ago

Let's switch the order and have a default repo. !issue <number> [repo]

The default repo would presumably be the gurkbot repo (this one). We should also allow for multiple different repos and orgs to be specified. Like this:

gurkbot  # gurkult/gurkbot
branding  # gurkult/branding
py-gurklang  # gurkult/py-gurklang
python-discord/bot  # python-discord/bot

We should be able to use a lot of the code from the PyDis Python bot, while customizing it to our liking.

Shivansh-007 commented 3 years ago

Let's switch the order and have a default repo. !issue <number> [repo]

The default repo would presumably be the gurkbot repo (this one). We should also allow for multiple different repos and orgs to be specified. Like this:

gurkbot  # gurkult/gurkbot
branding  # gurkult/branding
py-gurklang  # gurkult/py-gurklang
python-discord/bot  # python-discord/bot

We should be able to use a lot of the code from the PyDis Python bot, while customizing it to our liking.

Sure! Sounds good!

Shivansh-007 commented 3 years ago

I will be working on this along with:

# GitHub Category 
- github issue <num>
- github pr <num>
- github source <command>
- github profile <id>
gustavwilliam commented 3 years ago

@Shivansh-007 are you currently working on this?

Also, I'd love to see one PR for each subcommand. A huge PR with four subcommands can be quite tricky to get reviewed.

Shivansh-007 commented 3 years ago

Yes almost done

Shivansh-007 commented 3 years ago

We can close this, thanks!

vivekashok1221 commented 3 years ago

Thank you for contributing! :star2: :star2: :star2: