If I set my nbdime_config.json to:

{
  "Global": {
    "Ignore": {
      "/cells/*/execution_count": false
    },
    "details": false
  }
}

I expect the details and Ignore to be applied to every nbdime tool, given that

Global Options to apply to all commands.
[sections](https://github.com/jupyter/nbdime/blob/d44e3b5d09ba16163d71ef38e98f288c0a88b391/docs/

e.g. when extracting some pages from a PDF, you can choose a filename prefix via "Generated PDF documents name prefix":

so far, so good... but it does not make sense to me why not make this field "Generated PDF documents name" because prefix is not 100% accurate as soon as you use [BASENAME] in this field. and **adding

Because of the switch to GitHub I looked at the ReadMe.txt and it looks really outdated. For example, the whole part with the Archive Support can removed. In general, seems a shortcut to a readme file in the start menu fit the time of Windows XP. Modern programs mostly add now only a shortcut to the program itself, nothing more.

In the first step, I would suggest removing the file from the st

We should probably deprecate the workaround token feature as well and then eventually remove it. Should simplify the code a decent amount, since there's logic to specifically detect if push restrictions are enabled.

Originally posted by @bluekeyes in palantir/bulldozer#171 (comment)

Love the product so far. Was wondering if there was an action to update the base branch that a pull request is compared to? If not, I think that would be a great feature to add. Something along the lines of:

pull_request_rules:
  - name: Change base
    conditions:
      - "title~=^\\[Release\\].+"
    actions:
      change_base:
        branch: release

https://mypy.readthedocs.io/en/latest/python2.html