Rename git-whitespace-hook to dune-git-whitespace-hook.

The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.

Gbp-Pq: Name rename-git-whitespace-hook.patch

skip directories starting with a dot when looking for dune.module

Gbp-Pq: Name skip-dirs-starting-with-dot.patch

dune-autogen

Gbp-Pq: Name dune-autogen.patch

soname

Gbp-Pq: Name soname.patch

dune-common (2.3.1-1) unstable; urgency=medium

  * New upstream release.
  * Install bash completion for dunecontrol.

[dgit import unpatched dune-common 2.3.1-1]

Import dune-common_2.3.1.orig.tar.xz

[dgit import orig dune-common_2.3.1.orig.tar.xz]

Import dune-common_2.3.1-1.debian.tar.xz

[dgit import tarball dune-common 2.3.1-1 dune-common_2.3.1-1.debian.tar.xz]