Bug#613892: Bug#948151: git: Please consider demoting git-man to Recommends

2024-07-06 Thread Sergey Ponomarev
Did anyone submit a patch to git to work well when no man pages are installed? Also please note that all man packages have a *-doc suffix, not the *-man. It probably can't be renamed now but just to note this to avoid in future. The git package itself also contains a lot of docs in the /usr/share/

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-06 Thread Jonathan Nieder
John Paul Adrian Glaubitz wrote: > On 1/7/20 1:03 AM, Jonathan Nieder wrote: >> Using Recommends to mean "Depends, except on >> buildds" would produce bad results for end users that use >> --no-recommends. > > I disagree. Anyone who uses "--no-recommends" should know what they are > doing. And tho

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-06 Thread John Paul Adrian Glaubitz
On 1/7/20 1:03 AM, Jonathan Nieder wrote: > This is not what Recommends is for. If we want to remove a dependency > in the buildd environment but not for users, we can use build profiles > for that instead. Build profiles cannot be triggered on buildds. They can be set for manual builds only. >

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-06 Thread Jonathan Nieder
reassign 948151 git 1:2.25.0~rc1-1 forcemerge 613892 948151 tags 613892 + upstream quit Hi, Anatoly Pugachev wrote: > clone of #613892 ? Indeed it is! Thanks for digging that up. See that bug for details on what is needed to get this done (an upstream patch teaching "git help" to cope with mi

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-05 Thread John Paul Adrian Glaubitz
Hi Anatoly! On 1/5/20 11:34 AM, Anatoly Pugachev wrote: >> Since Recommends are enabled by default in apt, this would still >> cause git-man to be installed on standard desktop installations >> when a user invokves "apt install git" but at the same time it >> would avoid installability problems as

Bug#613892: Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-05 Thread Anatoly Pugachev
clone of #613892 ? https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=613892

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-05 Thread Anatoly Pugachev
On Sat, Jan 4, 2020 at 7:51 PM John Paul Adrian Glaubitz wrote: > > Source: git > Severity: important > User: debian-powe...@lists.debian.org > Usertags: ppc64 > > Hello! > > git is failing to build from source on multiple architectures. > > While this is not release-critical for ports architectur

Bug#948151: git: Please consider demoting git-man to Recommends

2020-01-04 Thread John Paul Adrian Glaubitz
Source: git Severity: important User: debian-powe...@lists.debian.org Usertags: ppc64 Hello! git is failing to build from source on multiple architectures. While this is not release-critical for ports architectures, it makes git uninstallable on any Debian Ports architecture due to the hard depe