Infrastructure-puppet

Clone Tools
  • last updated 18 mins ago
Constraints
Constraints: committers
 
Constraints: files
Constraints: dates
OF: empire-db is special in that it has a dash in its name

    • -2
    • +2
    /modules/gitbox/files/matt/tools/grouper.py
OF: INFRA-17669

Merge pull request #1325 from apache/humbedooh/gitbox-force-diff-fix

disregard merge messages if head commit, they are always distinct

disregard merge messages if head commit, they are always distinct

Merge pull request #1324 from Humbedooh/deployment

last time, this should diff after merge

last time, this should diff after merge

Merge pull request #1323 from apache/humbedooh/gitbox-force-diff-fix

Don't default to force diff, only if commit array has distinct

Don't default to force diff, only if commit array has distinct

Merge pull request #1322 from Humbedooh/deployment

one more fork merge

one more fork merge

Merge pull request #1321 from apache/humbedooh/gitbox-force-diff-fix

actually force diffs

actually force diffs

    • -1
    • +5
    /modules/gitbox/files/asfgit/git_multimail.py
Merge pull request #1320 from Humbedooh/deployment

trying again..

trying again..

Merge pull request #1319 from Humbedooh/deployment

more trivialities

more trivialities

OF: typo

OF: typo

    • -1
    • +1
    /modules/gitbox/files/asfgit/git_multimail.py
Merge pull request #1318 from Humbedooh/deployment

same change again

same change again

Merge pull request #1317 from Humbedooh/deployment

bla bla

bla bla

Merge pull request #1316 from Humbedooh/deployment

more trivialities

more trivialities

Merge pull request #1315 from Humbedooh/deployment

more trivial changes

more trivial changes

Merge pull request #1314 from Humbedooh/deployment

another trivial change, esting PRs

another trivial change, esting PRs

Merge pull request #1313 from Humbedooh/deployment

trivial change

trivial change