update create-pull-request action to v6

Grammar: removed on, not removed in (date)

Update deletedFiles.yml with the current ISO date.

Finally, the list of newly removed entries receives a header "# removed in $(date -I)" with the current ISO date.

Update deletedFiles.yml with improved workflow

major improvements are:
- cleans this file from any re-introduced file
- adds deleted files to the top of the list
- takes extra care of full path n

Update deletedFiles.yml with improved workflow

major improvements are:
- cleans this file from any re-introduced file
- adds deleted files to the top of the list
- takes extra care of full path names (i.e. "^$E$" and "^$F$") to avoid cluttering grep with e.g., .txt and .txt_bak files
- uses data/deleted.files.tmp as lock file to produce a single trailing line only after adding any deleted files (thus the "cp" in the first "awk") and removes it (the "mv" in second "awk")

show more ...

increase github action versions

adjust export-ignore checking in deleted files action

This makes use of git check-attr to properly check the attributes. The
attributes have been extended to match subdirs and files.

workflow improvements

* make bot PRs more easy to spot
* better PR message for autofix
* no more checkstyle to annotation

add configuration for rector

A workflow should automatically suggest a new pull request with the
changes.

Initial fixes will not be applied from the auto generated PR but will be
added as piece by

add configuration for rector

A workflow should automatically suggest a new pull request with the
changes.

Initial fixes will not be applied from the auto generated PR but will be
added as piece by piece commits with rule updates to this branch.

show more ...

Automate the release workflow using GitHub actions

This introduces a two-part release mechanism. A manually triggered
workflow asks for the important info like type of release (stable, rc)
and code

Automate the release workflow using GitHub actions

This introduces a two-part release mechanism. A manually triggered
workflow asks for the important info like type of release (stable, rc)
and code name. It then creates a cleanly mergable pull request.

When that pull request is merged, a release is automatically tagged,
built and uploaded.

Another workflow is introduced to keep track of the deleted.files info.
This is one less chore to do on a release.

A new scheme for tags is also introduced, making all tags sortable,
regardless of their type. They follow the pattern

release-YYYY-MM-DD(<hotfixletter>|rc)

A script will be used to clean-up the existing tags.

show more ...