Tools: master 820eee8f

Diff Back to Repository
Author Committer Branch Timestamp Parent
dregad dregad master 2021-05-06 04:40 master f8843253
Changeset

Fix static analysis warnings

  • unused imports
  • declare global Github object
  • Use """ instead of ''' for docstrings
  • get_options() has no return value
mod - merged_pr_branches.py Diff File