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

add description field #349

Merged
merged 1 commit into from
Sep 2, 2021
Merged

add description field #349

merged 1 commit into from
Sep 2, 2021

Conversation

ericphanson
Copy link
Member

Over in JuliaRegistries/General#43776 it was suggested that it might be nice to have the repo description field in the PR comment. We could then grab it from the PR comment and send it downstream as well, e.g. to the Slack channel #new-packages-feed, along with the release notes.

From the WebUI or CommentBot we seem to have a repo object with this field, so we can get the description without an additional API call. However, I'm not sure if it is always populated or not; if it is not populated, then we'd need to make an API call to fill out the fields (repo in the comment bot to use GitHub.jl, or get_repo in the WebUI to use GitForge.jl).

@DilumAluthge
Copy link
Member

Who is a good person to review this?

@nkottary?

Copy link
Member

@DilumAluthge DilumAluthge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks good to me, but it would be good to get a review from someone that is more familiar with the Registrator codebase.

@nkottary nkottary merged commit 8b10dd0 into master Sep 2, 2021
@nkottary nkottary deleted the eph/description branch September 2, 2021 07:07
@DilumAluthge
Copy link
Member

Thank you @nkottary!

Could you:

  1. Tag a new release that includes this PR?
  2. Deploy the new release into production?

@nkottary
Copy link
Member

nkottary commented Sep 6, 2021

The new version of Registrator v1.2.9 that has this change is not yet deployed. I am very busy this week. I will try to get this updated next week.

@nkottary
Copy link
Member

Just an update: We're working to get this to production. Might take a few more days.

@DilumAluthge DilumAluthge added new feature New feature and removed enhancement labels Oct 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new feature New feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants