Skip to content

updated list of tools to install in dev docs#984

Merged
mr-c merged 2 commits into
masterfrom
doc/deb-sid
May 13, 2015
Merged

updated list of tools to install in dev docs#984
mr-c merged 2 commits into
masterfrom
doc/deb-sid

Conversation

@mr-c

@mr-c mr-c commented May 7, 2015

Copy link
Copy Markdown
Contributor

No description provided.

@ctb

ctb commented May 7, 2015

Copy link
Copy Markdown
Member

LGTM; please go ahead and merge when ready.

@mr-c

mr-c commented May 13, 2015

Copy link
Copy Markdown
Contributor Author
  • Is it mergeable?
  • Did it pass the tests?
  • If it introduces new functionality in scripts/ is it tested?
    Check for code coverage with make clean diff-cover
  • Is it well formatted? Look at make pep8, make diff_pylint_report,
    make cppcheck, and make doc output. Use make format and manual
    fixing as needed.
  • Did it change the command-line interface? Only additions are allowed
    without a major version increment. Changing file formats also requires a
    major version number increment.
  • Is it documented in the ChangeLog?
    http://en.wikipedia.org/wiki/Changelog#Format
  • Was a spellchecker run on the source code and documentation after
    changes were made?
  • Is the Copyright year up to date?

mr-c added a commit that referenced this pull request May 13, 2015
@mr-c
Merge pull request #984 from ged-lab/doc/deb-sid
df1ab60 
add git dependency
@mr-c mr-c merged commit df1ab60 into master May 13, 2015
@mr-c mr-c deleted the doc/deb-sid branch May 13, 2015 14:16
@mr-c mr-c changed the title add git dependency updated list of tools to install in dev docs Sep 3, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@mr-c @ctb