Skip to content
This repository has been archived by the owner on Jul 12, 2024. It is now read-only.

Archive repository? #16

Closed
astrofrog opened this issue May 23, 2022 · 8 comments
Closed

Archive repository? #16

astrofrog opened this issue May 23, 2022 · 8 comments

Comments

@astrofrog
Copy link
Member

Since we don't currently use astrobot anymore, should we archive it? Are there other repositories still using it?

@pllim
Copy link
Member

pllim commented May 24, 2022

Is this the bot that checks the milestone? I still see it pop up once in a while but not consistently.

@bsipocz
Copy link
Member

bsipocz commented May 24, 2022

Yes, astropy-bot does milestone and changelog checks for astroquery. Or more precisely does it when it's in the right mood.
So I'm not against archiving this repo as whenever I have time to get to them with a fix it will likely be to switch using some other infra, as heroku here is very much the blocking empass.

@pllim
Copy link
Member

pllim commented May 24, 2022

when it's in the right mood

Yes, exactly. 😆

@pllim
Copy link
Member

pllim commented Jul 12, 2024

Revisiting in 2024, I don't see astrobot anywhere in astropy/astroquery#3065 . Change log is now done in Actions and Actions can also do milestone now. I say we archive this. I can add milestone check workflow to astroquery.

@bsipocz
Copy link
Member

bsipocz commented Jul 12, 2024

I can add milestone check workflow to astroquery

we only release from main, so it doesn't need a separate workflow

@pllim
Copy link
Member

pllim commented Jul 12, 2024

Oh, I see you already have https://github.com/astropy/astroquery/blob/main/.github/workflows/milestone.yml . So I guess there is nothing blocking archival of astrobot now. Thanks!

@bsipocz
Copy link
Member

bsipocz commented Jul 12, 2024

yes, but it's not working, so I may just remove the configs altogether.

@pllim
Copy link
Member

pllim commented Jul 12, 2024

If you need help, let me know. But as far as this repo is concerned, I am archiving, so closing this issue. Thanks!

@pllim pllim closed this as completed Jul 12, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants