Skip to content

Delete version-check.sh - #424

Merged
Jason Goscinski (jasongos) merged 1 commit into
1.0-devfrom
jasongos-patch-2
Dec 1, 2020
Merged

Delete version-check.sh#424
Jason Goscinski (jasongos) merged 1 commit into
1.0-devfrom
jasongos-patch-2

Conversation

@jasongos

@jasongos Jason Goscinski (jasongos) commented Nov 30, 2020

Copy link
Copy Markdown

Version-check.sh was meant to be deleted, but it was accidently restored during an internal 3 way merge. As part of that merge, a Microsoft copyright was appended to the top of the file. The origin of the file was LFS and was not intended to be included in CBL-Mariner.

Merge Checklist

All boxes should be checked before merging the PR (just tick any boxes which don't apply to this PR)

  • The toolchain has been rebuilt successfully (or no changes were made to it)
  • The toolchain/worker package manifests are up-to-date
  • Any updated packages successfully build (or no packages were changed)
  • All package sources are available
  • cgmanifest files are up-to-date and sorted (./cgmanifest.json, ./toolkit/tools/cgmanifest.json, ./toolkit/scripts/toolchain/cgmanifest.json)
  • LICENSE-MAP files are up-to-date (./SPECS/LICENSES-AND-NOTICES/LICENSES-MAP.md, ./SPECS/LICENSES-AND-NOTICES/LICENSE-EXCEPTIONS.PHOTON)
  • All source files have up-to-date hashes in the *.signatures.json files
  • sudo make go-tidy-all and sudo make go-test-coverage pass
  • Documentation has been updated to match any changes to the build system
  • Ready to merge

Summary

What does the PR accomplish, why was it needed?

Change Log
  • Change
  • Change
  • Change
Does this affect the toolchain?

YES
NO

Associated issues
  • #xxxx
Links to CVEs
Test Methodology
  • Pipeline build id: xxxx

Version-check.sh was meant to be deleted, but it was accidently restored during an internal 3 way merge.  As part of that merge, a Microsoft copyright was appended to the top of the file.  The origin of the file was LFS and was not intended to be included in CBL-Mariner.
@ghost ghost added the Tools label Nov 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants