Issues sharing between local repos

[dimo414]

I'm experimenting with git-metrics locally and am running into a few issues with pulling/pushing between repos on the same machine. Here's what I tried:

$ git init metrics
Initialized empty Git repository in /tmp/metrics/.git/

$ cd metrics

$ git commit --allow-empty -m foo
[main (root-commit) 75070be] foo

$ git metrics add binary-size --tag "platform.os: linux" --tag "platform.arch: amd64" 1024.0

$ git metrics log
* 75070be foo
    binary-size{platform.os="linux", platform.arch="amd64"} 1024.00

$ git clone metrics metrics2
Cloning into 'metrics2'...
done.

$ cd metrics2

$ git metrics log # [1]
* 75070be foo

$ git metrics pull

$ git metrics log # [2]
* 75070be foo

$ git metrics pull ../metrics2 # [3]
unable to find remote


        '../metrics2' is not a valid remote name.; class=Config (7); code=InvalidSpec (-12)

$ cd ../metrics

$ git metrics push ../metrics # [4]
unable to persist metrics


        the given reference name 'refs/notes/metrics-remote-../metrics' is not valid; class=Reference (4); code=InvalidSpec (-12)

Namely, I wanted to share metrics between two clones, but I can't seem to do so.

1. Upon cloning a repo the existing metrics are missing (this might be expected given the existence of git metrics pull, but it's unclear what the expected workflow is)
2. So I tried git metrics pull, which succeeded but doesn't seem to have actually done anything
3. Try again, explicitly specifying the local path, which fails (git pull ../metrics works)
4. Try again on the push side, same issue

Root issue seems to be lack of support for local repos, but more generally I'd love to better understand how metrics are intended to transit between repos.

[jdrouet]

You don't seem to have pushed the metrics

[dimo414]

@jdrouet I'm not sure I follow, I'm trying to push/pull the metrics and the commands fail.

[jdrouet]

On command 4, why the "../metrics" ?

[dimo414]

I've created two sibling checkouts, in metrics/ and metrics2/ (git clone metrics metrics2) and am trying to share metrics between them.

[jdrouet]

Oh I see, you're trying to run with only local repositories... It's something I haven't tried and I don't support right now.
If you see where the problem is, feel free to open a pull request 😉

[dimo414]

Well the intent was to experiment with this utility, it's helpful to be able to inspect both sides of the push/pull to see what's going on. This project seems really useful but the documentation is pretty sparse so I was trying to understand how to use it.

[jdrouet]

Right now, it works with remotes like GitHub. I didn't try with local directories like you did. It's not my use case.