Skip to content

[AutoPR scheduler/resource-manager] chore: jsonfmt scheduler#5805

Merged
AutorestCI merged 1 commit intorestapi_auto_scheduler/resource-managerfrom
restapi_auto_6239
Jun 11, 2019
Merged

[AutoPR scheduler/resource-manager] chore: jsonfmt scheduler#5805
AutorestCI merged 1 commit intorestapi_auto_scheduler/resource-managerfrom
restapi_auto_6239

Conversation

@AutorestCI
Copy link
Contributor

chore: jsonfmt scheduler

Ran `jsonfmt -w "specification/scheduler/**/*.json"`
@AutorestCI AutorestCI merged commit 4399fcc into restapi_auto_scheduler/resource-manager Jun 11, 2019
@AutorestCI AutorestCI deleted the restapi_auto_6239 branch June 11, 2019 20:53
@AutorestCI
Copy link
Contributor Author

This PR has been merged into #5806

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant