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

Some minor fixes to the JIB 2021 submission #194

Merged
merged 2 commits into from
Aug 1, 2021
Merged

Conversation

agarny
Copy link
Contributor

@agarny agarny commented Aug 1, 2021

No description provided.

@agarny
Copy link
Contributor Author

agarny commented Aug 1, 2021

@luciansmith, just a few minor fixes. Like @matthiaskoenig, I don't have LaTeX set up on my system, so no PDF from me.

Regarding the SED-ML website, would it be possible to have http://sed-ml.org/ automatically redirected to https://sed-ml.org/? The former (obvious) shows as not secured, which is not great.

@luciansmith luciansmith merged commit 1025740 into SED-ML:master Aug 1, 2021
@matthiaskoenig
Copy link
Collaborator

@agarny

Regarding the SED-ML website, would it be possible to have http://sed-ml.org/ automatically redirected to https://sed-ml.org/? The former (obvious) shows as not secured, which is not great.

Sorry, I never noticed. Using https everywhere in my browsers which does these redirects by default. I opened an issue for that on the website tracker: SED-ML/sed-ml.github.io#58.
We should use the https://sed-ml.org link everywhere we reference the webpage.

@luciansmith
Copy link
Contributor

Thanks for this note--I've gone through the spec itself and changed http->https wherever it wasn't being used as a namespace.

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

Successfully merging this pull request may close these issues.

3 participants