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

Replace Travis build badge with GitHub Actions one #159

Merged
merged 1 commit into from
Feb 12, 2024

Conversation

herndlm
Copy link
Contributor

@herndlm herndlm commented Feb 12, 2024

Make the build badge green again

Make the build badge green again
@herndlm
Copy link
Contributor Author

herndlm commented Feb 12, 2024

Hey, also let us know if you need further help anywhere Viktor. Nobody is expecting that you keep doing all the WordPress-related things, especially if people don't appreciate it enough.

@szepeviktor
Copy link
Member

don't appreciate it enough

I am just clicking the merge button.

@szepeviktor szepeviktor merged commit 618eed0 into php-stubs:master Feb 12, 2024
2 checks passed
@herndlm herndlm deleted the patch-1 branch February 12, 2024 10:06
@szepeviktor
Copy link
Member

The Thing is, Martin: I am compatible only with developers, not non-expert clients.

@herndlm
Copy link
Contributor Author

herndlm commented Feb 12, 2024

I am just clicking the merge button.

yeah, if that's fine with you, then we'll keep opening PRs I guess :)

@herndlm
Copy link
Contributor Author

herndlm commented Feb 12, 2024

I also just asked in our company if they can support you 🤞

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.

2 participants