Skip to content

Restyle Cobertura#9

Closed
restyled-io[bot] wants to merge 2 commits into
coberturafrom
cobertura-restyled
Closed

Restyle Cobertura#9
restyled-io[bot] wants to merge 2 commits into
coberturafrom
cobertura-restyled

Conversation

@restyled-io

@restyled-io restyled-io Bot commented Feb 13, 2020

Copy link
Copy Markdown

Automated style fixes for #8, created by Restyled.

The following restylers made fixes:

  • prettier-markdown
  • whitespace

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.

@astubbs astubbs closed this Apr 29, 2020
@astubbs astubbs deleted the cobertura-restyled branch April 29, 2020 13:33
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