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: add support to github.server_url #3903

Merged
merged 3 commits into from
Apr 10, 2023
Merged

feat: add support to github.server_url #3903

merged 3 commits into from
Apr 10, 2023

Conversation

augustomelo
Copy link

Fixes
Striping the http[s] from the $GITHUB_DOMAIN will allow the users to pass github.server_url to the action

https://docs.github.com/en/actions/learn-github-actions/contexts

Proposed Changes

  1. Stripping the http[s] from the GITHUB_DOMAIN

Readiness Checklist

Author/Contributor

Reviewing Maintainer

  • Label as breaking if this is a large fundamental change
  • Label as either automation, bug, documentation, enhancement, infrastructure, or performance

AUGMELO added 2 commits February 7, 2023 17:42
Striping the http[s] from the $GITHUB_DOMAIN will allow the users to pass github.server_url to the action

https://docs.github.com/en/actions/learn-github-actions/contexts
@github-actions
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity.
It will be closed in 14 days if no further activity occurs.
Thank you for your contributions.

If you think this pull request should stay open, please remove the O: stale 🤖 label or comment on the pull request.

If you're a maintainer, you can stop the bot to mark this issue as stale in the future by adding the O: backlog 🤖 label`.

@github-actions github-actions bot added the O: stale 🤖 Stale issue/pr label Mar 13, 2023
@augustomelo
Copy link
Author

Hey could someone remove the label 0: stale?

@github-actions github-actions bot removed the O: stale 🤖 Stale issue/pr label Mar 14, 2023
@lindluni lindluni merged commit 80ce402 into super-linter:main Apr 10, 2023
@augustomelo augustomelo deleted the feat/add-support-gh-server-url branch April 11, 2023 08:46
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.

None yet

2 participants