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

Restyle Update _webpushr.js #4

Open
wants to merge 2 commits into
base: sa-tasche-patch-1
Choose a base branch
from

Conversation

restyled-io[bot]
Copy link

@restyled-io restyled-io bot commented Aug 10, 2020

Automated style fixes for #3, created by Restyled.

The following restylers made fixes:

  • clang-format
  • prettier

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

@atomist atomist bot added auto-branch-delete:on-close Delete branch when pull request gets closed auto-merge-method:merge Auto-merge with merge commit auto-merge:on-approve Auto-merge on review approvals labels Aug 10, 2020
@sa-tasche sa-tasche added the auto-branch-delete:on-merge Delete branch when pull request gets merged label Jan 20, 2021
@sa-tasche sa-tasche self-assigned this Jan 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto-branch-delete:on-close Delete branch when pull request gets closed auto-branch-delete:on-merge Delete branch when pull request gets merged auto-merge:on-approve Auto-merge on review approvals auto-merge-method:merge Auto-merge with merge commit
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants