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.

Sign up for GitHub

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

Jump to bottom

Integrate with GitHub deployments #1081

Open
2 tasks
defagos opened this issue Dec 3, 2024 · 1 comment
Open
2 tasks

Integrate with GitHub deployments #1081

defagos opened this issue Dec 3, 2024 · 1 comment
Labels
tooling Issues related to the tools we use

Comments

@defagos
Copy link
Member

defagos commented Dec 3, 2024 •
edited
Loading

As a developer it could be useful to better identify deployments and possibly issues addressed in some new deployment.

Acceptance criteria

GitHub deployments have been investigated, most notably:

  • Is it possible to associate a deployment with a release (link)?
  • Is it possible to reference a deployment in a PR or issue which was released in this deployment?
  • Can we deploy the documentation to pillarbox.ch?

Tasks

  • Investigate above questions.
  • Create tasks if needed.
@defagos defagos added this to Pillarbox Dec 3, 2024
@defagos defagos converted this from a draft issue Dec 3, 2024
@defagos defagos added the tooling Issues related to the tools we use label Dec 3, 2024
@defagos
Copy link
Member Author

defagos commented Dec 4, 2024

@pyby implemented something similar for Play SRG but I was hoping some simple action would be available. For the moment I would rather focus on other remaining setup instead.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tooling Issues related to the tools we use
Projects
Pillarbox
Status: 📋 Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@defagos