From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 113562 invoked by alias); 31 Jul 2017 21:06:04 -0000 Mailing-List: contact overseers-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: , Sender: overseers-owner@sourceware.org Received: (qmail 113552 invoked by uid 89); 31 Jul 2017 21:06:04 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.4 required=5.0 tests=BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,RCVD_IN_SORBS_SPAM,SPF_PASS autolearn=no version=3.3.2 spammy=feb, Feb, dear, emails X-HELO: mail-ua0-f179.google.com Received: from mail-ua0-f179.google.com (HELO mail-ua0-f179.google.com) (209.85.217.179) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 31 Jul 2017 21:06:03 +0000 Received: by mail-ua0-f179.google.com with SMTP id q25so177351352uah.1 for ; Mon, 31 Jul 2017 14:06:02 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=mAfOoprVtjVYbYd6AKPn2YejZbJxGme+n+uDbtpsmYw=; b=p2MarDIVsBx/VnpmJiPWZN1vAgZ1eDI+tv3Yt8GiVNZiSwU7zJb6m19xKvHpew/aUu pC4RgsBX6Wq8Vi/unYjYRgbRWEfkLaDwsneEvlRzvoCrVrlEjex1JczFkMMTESQNf4WV JnTJ1I8jiCchH3g8lqns3SOY7cj5xGkmzdbF4asqEvVduIJfQWB/TUU70YnWRZ1AWOxS j3fi2EJ5GoQahZehzTAAwuG+IRjdzwO5V6X4Pnm8tlkle3Ekpfh/ueKKeN//29zO506C 6K6mfNN7HkyLHluq13L1jcTeiBFPWmL+ijUr8k5rYB3Ypdb1rYrBdYYTdV19Xqmo5np+ YwFQ== X-Gm-Message-State: AIVw112x3UgnZaheCh5t0khmUrUbII23g9r743dsJsfgohK0wqT0eSOG Gx1tw9ku30Qkmt/G X-Received: by 10.176.71.82 with SMTP id i18mr13650027uac.171.1501535161368; Mon, 31 Jul 2017 14:06:01 -0700 (PDT) Received: from mail-vk0-f54.google.com (mail-vk0-f54.google.com. [209.85.213.54]) by smtp.gmail.com with ESMTPSA id j23sm6860342uaf.34.2017.07.31.14.06.01 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 31 Jul 2017 14:06:01 -0700 (PDT) Received: by mail-vk0-f54.google.com with SMTP id u133so19770669vke.3 for ; Mon, 31 Jul 2017 14:06:01 -0700 (PDT) X-Received: by 10.31.205.2 with SMTP id d2mr8953544vkg.77.1501535160885; Mon, 31 Jul 2017 14:06:00 -0700 (PDT) MIME-Version: 1.0 Received: by 10.159.52.196 with HTTP; Mon, 31 Jul 2017 14:06:00 -0700 (PDT) From: Ivo Raisr Date: Mon, 31 Jul 2017 21:06:00 -0000 X-Gmail-Original-Message-ID: Message-ID: Subject: valgrind.git at sourceware.org To: overseers@sourceware.org Content-Type: text/plain; charset="UTF-8" X-SW-Source: 2017-q3/txt/msg00032.txt.bz2 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.