Sync the repository tree: release workflow, dev notes, current sources

6871d05

verified