public inbox for overseers@sourceware.org
 help / color / mirror / Atom feed
From: Ivo Raisr <ivosh@ivosh.net>
To: overseers@sourceware.org
Subject: valgrind.git at sourceware.org
Date: Mon, 31 Jul 2017 21:06:00 -0000	[thread overview]
Message-ID: <CANXv6=twni0JNqzdxAqDBEscg9Jua+_wsLHD-5+E86iYNFzCbg@mail.gmail.com> (raw)

Dear overseers,

Please could you change valgrind git repository directory name so that
the absolute directory name ends with "valgrind" or "valgrind.git".

Currently it is a symlink:
$ ls -l /sourceware/git/ | grep valgrind
lrwxrwxrwx. 1 root    root       43 Feb  6 21:02 valgrind.git ->
/sourceware/projects/valgrind-home/gitfiles

However we would like to enable AdaCore git hooks (similarly to
gdb-binutils, for example)
and they take directory absolute name as the git repository name. In
our case it is "gitfiles", then,
which gets embedded in commit emails sent and it's very confusing.

I don't really care what the resulting directory structure will look
like as long as the git repository
directory name is either "valgrind" or "valgrind.git".
Please let me know the resulting name.

Thank you!
I.

             reply	other threads:[~2017-07-31 21:06 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-31 21:06 Ivo Raisr [this message]
2017-07-31 21:11 ` Frank Ch. Eigler

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CANXv6=twni0JNqzdxAqDBEscg9Jua+_wsLHD-5+E86iYNFzCbg@mail.gmail.com' \
    --to=ivosh@ivosh.net \
    --cc=overseers@sourceware.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).