BioPortal was recently modified to allow end users to optionally add their GitHub usernames and ORCID iDs to their accounts. If this information is present, it should be included in the body of any GitHub issues that are generated as a result of ontology changes requests. Currently the issue bodies only contain the end user's BIoPortal username, e.g.:
BioPortal was recently modified to allow end users to optionally add their GitHub usernames and ORCID iDs to their accounts. If this information is present, it should be included in the body of any GitHub issues that are generated as a result of ontology changes requests. Currently the issue bodies only contain the end user's BIoPortal username, e.g.: