[go: up one dir, main page]

Alpha: Fix license headers

Killian Delaruerequested to merge
nomadic-labs/tezos:killian@fix-license-headers into master

What

Fixes #7008 (closed)

Fixes some license headers of Alpha.

Why

Some headers were absent or ill-formed.

The script ./scripts/lint.sh --check-licenses-git-new fails in case those file are modified, for instance when snapshoting.

How

  • Replace headers
  • Add String to code type lib_benchmark/codegen.ml.
  • Add license header string to lib_benchmark/codegen.ml.

Manually testing the MR

  • Check the new license header
  • Copy lib_alpha and commit the diff
  • CHECK_LICENCHECK_LICENSES_DIFF_BASE=$(git merge-base HEAD tezos/master) ./scripts/lint.sh --check-licenses-git-new

Checklist

  • Document the interface of any function added or modified (see the coding guidelines)
  • Document any change to the user interface, including configuration parameters (see node configuration)
  • Provide automatic testing (see the testing guide).
  • For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR

Merge request reports