Closed ramonawalls closed 7 years ago
Yes, it is fine to rename it. It shouldn't cause any problems, but we will need to update IRIs for the ontology entities. I was going to rename it myself, but I don't seem to have the required permissions.
Thanks, Brian. I'll take care of renaming the repo this week. Let me know if you want me to fix the IRIs. I'll fix the PURLs too.
Done. Everyone, beware that there is now a different path to PPO (although github does redirect). @jdeck88 and @stuckyb, take note!
Updated PURL.
Can we please rename this repo to ppo (lower case)? It is really annoying to have the capps. I would do it myself, but I don't want to mess up anything in your build system, @stuckyb.