bug#47968: closed ([PATCH 0/2] Add git-filter-repo)

[GNU bug Tracking System]

Your message dated Mon, 03 May 2021 22:46:46 +0200
with message-id <87fsz3v93d.fsf_-_@gnu.org>
and subject line Re: bug#47968: [PATCH 0/2] Add git-filter-repo
has caused the debbugs.gnu.org bug report #47968,
regarding [PATCH 0/2] Add git-filter-repo
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
47968: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47968
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/2] Add git-filter-repo
>
>
>
>
> Date: 
>
> Fri, 23 Apr 2021 11:01:25 +0200
>
>
>
>
> Just adding git-filter-repo but taking advantage of this to add back a
> comment which would have saved me time.
>
> François J (2):
>   gnu: git: add a comment on why we don't build manpages
>   gnu: Add git-filter-repo
>
>  gnu/packages/version-control.scm | 34 ++++++++++++++++++++++++++++++++
>  1 file changed, 34 insertions(+)
>
> -- 
> 2.31.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#47968: [PATCH 0/2] Add git-filter-repo
>
>
>
>
> Date: 
>
> Mon, 03 May 2021 22:46:46 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> François J <francois-oss@avalenn.eu> skribis:
>
> > I use release tarball (instead of git as I would have liked) because it
> > contains pre-compiled man-pages which are too hard to build in this
> > context as it uses git Makefile to do it.
> >
> > * gnu/packages/version-control.scm (git-filter-repo): New variable.
> >
> > Signed-off-by: François J <francois-oss@avalenn.eu>
>
> Applied with minor changes: addressing remaining ‘guix lint’ complaints,
> tweaking indentation, and adding ‘python’ as an input so that the
> shebang of ‘git-filter-repo’ gets patched (otherwise it’d remain
> “#!/usr/bin/env python3”.)
>
> Thanks!
>
> Ludo’.
>
>
> --- End Message ---