Please follow contribution guide that explains how to create a fork and raise PR on GitHub.
Please verify before committing the changes
$make verify
If you see any warnings or errors, please fix them first.
Whenever a source code file is being modified, the copyright notice should be updated to our standard copyright notice. That is, it should read “Copyright The SODA Authors.”
For new files, the entire copyright and license header must be added.
Please note that doc files do not need a copyright header.