Aaron Meurer

See https://github.com/drdoctr/doctr/issues/342#issuecomment-492005096. I guess since doctr does syncing, it can make sense.

Document command to run in deploy repo that lives in main repo

1

See e.g. https://github.com/sympy/sympy/pull/13584#discussion_r150379595

Only merge this if we start to get retry failures in Travis on master.

Ask to activate the repo on Travis when it isn't already

1

This is still untested, and likely doesn't actually work. As suggested at https://github.com/drdoctr/doctr/pull/320

We fixed the performance issues with running `git add` separately for every file (https://github.com/drdoctr/doctr/issues/324), but it still adds every file, which puts a lot of output in the log. We...

See https://travis-ci.org/xonsh/xonsh/jobs/423014493#L1866 (from https://github.com/xonsh/xonsh/pull/2798). I guess some git resets fixed it, but we should figure out why it was failing.

Suggest the --branch-whitelist

2

If the default branch is set to something other than master, we should suggest the --branch-whitelist flag in configure. See https://github.com/drdoctr/doctr/issues/314 and https://github.com/drdoctr/doctr/pull/315. This is assuming that this information is...

In the GitHub deploy key settings it lists the key fingerprint. We should indicate the fingerprint for the key in the comment that gets added to .travis.yml so that it's...

Add a flag to add something to the commit message

1

It could be desirable to add additional information to the commit message. We should add a flag to deploy to do it. I haven't hit the use-case myself yet, though,...

On GitHub (assumedly using the GitHub API).