tagref icon indicating copy to clipboard operation
tagref copied to clipboard

`.gitignore` files outside of the git repository are taken in account.

Open mefyl opened this issue 5 months ago • 3 comments

Description

I have a .gitignore file at the root of my home repository and tagref will erroneously apply its rules in any git repository in my account.

Instructions to reproduce the bug

$ mkdir repo
$ cd repo
$ git init
[...]
$ echo '(* some [tag:tag] *)' > source.ml
$ tagref
1 tag, 0 tag references, 0 file references, and 0 directory references validated in 1 file.
$ echo '*' > ../.gitignore
# tagref does not see the tag anymore.
$ tagref                  
0 tags, 0 tag references, 0 file references, and 0 directory references validated in 0 files.
# Yet this gitignore file does *not* apply here, see:
$ git status
On branch master

No commits yet

Untracked files:
  (use "git add <file>..." to include in what will be committed)
        source.ml

nothing added to commit but untracked files present (use "git add" to track)
$ tagref --version
Tagref 1.10.0
$

Environment information:

  • Tagref version: [e.g. 1.10.0]

mefyl avatar Jul 20 '25 12:07 mefyl