summaryrefslogtreecommitdiff
path: root/infra
Commit message (Collapse)AuthorAge
* dgit-repos-policy-debian: Remove duplicated text from force messageIan Jackson2019-01-06
| | | | | | | | | $ovwhy is from SELECT deliberately ... WHERE ... OR deliberately = ? where ? is a key in %deliberately which came from the command line where it already contains --deliberately=. Closes: #913676 Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* messages: Be a lot more friendly about NEW in particularIan Jackson2018-07-25
| | | | | | And also add a couple of `please's. Closes:#904448. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* infrastructure: Run git gc --auto before mirroring. Closes:#841414.Ian Jackson2018-07-14
| | | | | | | | | | | | This would not have avoided the trouble reported here https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841414#74 Empirically, I managed to work around the problem by running `git gc' (rather than `git gc --auto') and then rsyncing the result to the mirror. I will request that DSA increase the RAM (or swap) size on the relevant host. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Dgit.pm: runcmd: Break out from dgitIan Jackson2017-07-18
| | | | | | | | | | | | Move runcmd into Dgit.pm. We need to change dgit-repos-server too, but luckily its definition is essentially equivalent. No functional change to dgit. dgit-repos-server now prints somewhat better error messages when subprocesses fail. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* dgit-repos-server: Do not reject commits with no author/committer emailIan Jackson2017-07-16
| | | | | | | | | But still insist on date, and hence on the actual committer and author commit header fields. Peter Green reports that eg 66c65d90db100435 in upstream linux.git is such a commit (and is accepted by github). Closes:#863353. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* infrastructure: Cope with new git-receive-pack which has quarantine featureIan Jackson2017-07-08
| | | | | | | | | Ie, work around #867702. See the bug there for discussion. (We are perhaps flying a little close to the wind with our wrapper script location, but it doesn't seem likely to break, to me.) Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* infra: dgit-repos-server: Break out mkscriptIan Jackson2017-07-08
| | | | | | No functional change. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* infrastructure: Do not reject commits with no author/committer nameIan Jackson2017-01-18
| | | | | | | | | | | But still insist on email address and date). Peter Green reports that eg 71e128629ec786f3 in upstream xen.git is such a commit (and is accepted by github). Closes:#851716. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* infrastructure: Properly honour NOCOMMITCHECK policy hook exit status.Ian Jackson2017-01-18
| | | | | | Closes:#851800. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* dgit-repos-policy-debian: Remirror a package when it becomes publicIan Jackson2017-01-12
| | | | | | | | | Ie, make the repo available much more promptly when the package passes NEW. Closes:#849789. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Shell bug: avoid local=$(....) as it defeats set -eIan Jackson2017-01-06
| | | | Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* dgit-repos-server: Defend against bad commits (from eg #849041).Ian Jackson2017-01-05
| | | | | | | Right now, this causes the test `debpolicy-quilt-gbp' to fail, because in this branch #849041 is unfixed. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* dgit-repos-policy-debian; Unset GIT_ALTERNATE_OBJECT_DIRECTORIESIan Jackson2016-12-19
| | | | | | | This broke due to recent git setting GIT_ALTERNATE_OBJECT_DIRECTORIES in the pre-receive-hook. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* git- prefixes: Fix dgit-repos-policy-debianIan Jackson2016-10-16
| | | | | | | | Use `git for-each-ref' instead of `git-for-each-ref'. Broken in 8a178bf100d4 "Tag change: Update dgit-repos-policy-debian". Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Infra: Introduce Debian::Dgit::InfraIan Jackson2016-10-15
| | | | | | | This is used by all the Perl in dgit-infrastructure.deb. So far it does nothing, so no functional change. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Copyright: Add notices to some more of the (larger) filesIan Jackson2016-10-11
| | | | Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Split brain: dgit-repos-server: Permit pushing maintainer tag tooIan Jackson2016-09-25
| | | | | | | | | Split brain is going to need the maintainer tag on the dgit server. Allow clients to push the _both_ the DEP-14 and new dgit archive/ tag. In this case dgit-repos-server can largely ignore the DEP-14 tag. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Tag change: Update dgit-repos-policy-debianIan Jackson2016-07-31
| | | | | | | | The only place where we call debiantag, and the only place where we know about tag names, is in vsn_in_our_history. We need to change it to query multiple tags. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Tag change: Update dgit-repos-serverIan Jackson2016-07-31
| | | | | | | | | | Change the calls to debiantag_old to changes to debiantags, and the regexp to tolerate either tag name. We need an additional check that we are not receiving the tag named by debiantag_new when debiantag_old already exists. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Tag change: Declare intent in docs etc.Ian Jackson2016-07-31
| | | | | | | Provide debiantag_new as well as debiantag_old. Change the docs and an important comment. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* Tag change: Rename debiantag to debiantag_oldIan Jackson2016-07-31
| | | | | | | | | | | | | | | | | We are going to change the tag name of the main signed tag used by dgit to signal the user's intent to the archive server. Prepare for this by changing debiantag to debiantag_old and changing all call sites outside dgit itself. dgit will want to be able to generate either, depending on whether it's cooperating in an rpush with a new or old dgit so reintroduce a wrapper called debiantag there. This will also allow us to have dgit generate old tags for testing. No functional change. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* dgit-repos-policy-debian.: fix git-cat-file-handling with multiple taints in ↵Ian Jackson2016-07-16
| | | | db (!).
* dgit-repos-policy-debian: Better error handlingIan Jackson2016-07-16
| | | | Show more info when git-cat-file --batch goes wrong
* dgit-repos-policy-debian: better error message when git-cat-file produces ↵Ian Jackson2016-07-01
| | | | unexpected output
* Infrastructure: Improve an error message in dgit-repos-policy-debian.Ian Jackson2015-08-16
|
* Properly quote package name when constructing regexp in ↵Ian Jackson2015-08-16
| | | | complete_file_from_dsc. Closes:#795736. Also, grep the code for likely similar problems elsewhere and improve a (harmless) instance in dgit-repos-server.
* Make warnings fatal in dpkg-repos-admin-debian, dgit-ssh-dispatch (using ↵Ian Jackson2015-07-25
| | | | setup_sigwarn).
* Work around #793471 (madness with $SIG{__WARN__} and Perl's system builtin): ↵Ian Jackson2015-07-25
| | | | | | | move $SIG{} setting into setup_sigwarn in Dgit.pm, and check getppid. We also need to fix up the expectation for an error message in one of the tests, where the message changes as a side effect.
* Infrastructure: Get mirroring right for fresh repos of existing packages (!)Ian Jackson2015-07-21
|
* dgit-repos-policy-debian: Break out vsn_in_our_history (nfc)Ian Jackson2015-07-21
|
* Improve an error message from dgit-repos-policy-debian.Ian Jackson2015-07-19
|
* Make dgit-ssh-dispatch not spew (harmless) warnings if caller tries for a ↵Ian Jackson2015-07-18
| | | | shell session (ie SSH_ORIGINAL_COMMAND not set).
* Provide cgit-regen-config command for cgi-grnet-01.Ian Jackson2015-07-18
|
* Mirroring: Remove pointless empty .log filesIan Jackson2015-07-11
|
* Mirroring: Honour DGIT_DRS_DEBUG=0Ian Jackson2015-07-11
|
* Mirroring: In backlog processing, tolerate errorsIan Jackson2015-07-11
|
* Mirroring: Avoid breaking out of loop due to execIan Jackson2015-07-11
|
* Mirroring: Sort out stderr plumbingIan Jackson2015-07-11
|
* Mirroring: Tolerate missing .a file when tidying mirrorIan Jackson2015-07-11
|
* Mirroring: dgit-mirror-rsync copes with invocation via relative pathnameIan Jackson2015-07-11
|
* Mirroring: Check number of arguments to dgit-mirror-rsyncIan Jackson2015-07-11
|
* Mirroring: Provide rsync-based mirror hook scriptIan Jackson2015-07-11
|
* Mirroring: Run mirror hook script, if one is providedIan Jackson2015-07-11
|
* Error messages: Add some newlines to make the real error clearer in a lot of ↵Ian Jackson2015-07-05
| | | | noise
* When receiving a push with dgit-repos-server, update the server's ↵Ian Jackson2015-07-04
| | | | refs/heads/master if we are pushing to what the distro regards as a relevant branch, and the push would ff master. Closes:#728209.
* For non-Debian distros, debiantag() uses distro name a la DEP-14.Ian Jackson2015-07-04
|
* Fix an undef reference in error message processing when quilt fixup ↵Ian Jackson2015-06-29
| | | | linearisation fails.
* Infra: Add get-suitesIan Jackson2015-06-28
|
* Infra: get-dm-txt: set umaskIan Jackson2015-06-28
|
* Infra: dgit-repos-server: unlock _templateIan Jackson2015-06-28
|