Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename the file names so that pinephonepro is more clearly distinguished from pinephone #14

Open
tckosvic opened this issue Feb 9, 2022 · 1 comment

Comments

@tckosvic
Copy link

tckosvic commented Feb 9, 2022

Small item but I did download a pinephone file instead of needed pinephonepro file. Suggest "_pro" or "-pro".

Save other from making same mistake.

tom kosvic

@tckosvic tckosvic changed the title Rename the file names so that pinephonepro is more clearly distinguished gtom pinephone Rename the file names so that pinephonepro is more clearly distinguished from pinephone Feb 9, 2022
@Strit
Copy link
Contributor

Strit commented Apr 20, 2022

While this might seem like a small change, it would require changes in our profiles, tools, website and CI scripts, just for this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants