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

feat: comment deploy started on merged pull requests #91

Merged
merged 1 commit into from
Apr 2, 2024

Conversation

yzguy
Copy link
Contributor

@yzguy yzguy commented Mar 31, 2024

Comment on merged PR that deployment of configuration has started with a link to the specific node(s), the PR, etc

@routedbits routedbits deleted a comment from github-actions bot Mar 31, 2024
@routedbits routedbits deleted a comment from github-actions bot Mar 31, 2024
@routedbits routedbits deleted a comment from github-actions bot Mar 31, 2024
@routedbits routedbits deleted a comment from github-actions bot Mar 31, 2024
@yzguy yzguy changed the title Yzguy/email comment feat: comment deploy completion on merged pull requests Apr 1, 2024
@routedbits routedbits deleted a comment from github-actions bot Apr 2, 2024
@routedbits routedbits deleted a comment from github-actions bot Apr 2, 2024
@yzguy yzguy merged commit 85e4bfa into main Apr 2, 2024
2 checks passed
@yzguy yzguy deleted the yzguy/email_comment branch April 2, 2024 19:59
Copy link

github-actions bot commented Apr 2, 2024

Hello,

We have started the deployment of new configuration on our side for the peering at our IAD1 PoP.
It is ready for the configuration on your side.

You can use our Nodes page for PoP information to be used: https://dn42.routedbits.com/nodes/#iad1

We manage configuration via our dn42-peers repository, you can submit pull requests to add/remove/change your own peerings. Once accepted and merged, the changes are pushed to our routers within a few minutes.

Pull Request: routedbits/dn42-peers#91

Let us know if you have any questions or issues.

Thanks,
NOC, RoutedBits

@yzguy yzguy changed the title feat: comment deploy completion on merged pull requests feat: comment deploy started on merged pull requests Apr 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant