Commit 7b8384c6 authored by Georges Racinet's avatar Georges Racinet 🦑
Browse files

convert-pull-local: rename without .py suffix

It is an implementation detail that it is written in Python.

However, won't drop the `.sh` in a shell script, because that
is dangerous (people could try `--help` and it's often not
supported, got a system user `--help` once because of this).
parent 70c9d8c3ea6a
......@@ -137,6 +137,6 @@
From the directory where this README sits, run:
```
./convert-pull-local.py
./convert-pull-local
```
......@@ -141,6 +141,6 @@
```
Check also `convert-pull-local.py --help` for interesting options.
Check also `convert-pull-local --help` for interesting options.
### For Omnibus
......@@ -149,7 +149,7 @@
repository, so it can be done this way:
```
./convert-pull-local.py --gitlab-repo omnibus-gitlab --heptapod-repo omnibus-heptapod
./convert-pull-local --gitlab-repo omnibus-gitlab --heptapod-repo omnibus-heptapod
```
### For other components
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment