default git user email if we have a username and no email (#1917)

Co-authored-by: burnettk <burnettk@users.noreply.github.com>
This commit is contained in:
Kevin Burnett 2024-07-12 19:27:24 +00:00 committed by GitHub
parent 24b32cce40
commit d6184416cf
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -225,6 +225,12 @@ def setup_config(app: Flask) -> None:
f"SPIFFWORKFLOW_BACKEND_BPMN_SPEC_ABSOLUTE_DIR: {app.config['SPIFFWORKFLOW_BACKEND_BPMN_SPEC_ABSOLUTE_DIR']}"
)
# if git username is defined, default git user email to [username]@users.noreply.github.com
# that way, you may not have to define both variables in your environment
git_username = app.config.get("SPIFFWORKFLOW_BACKEND_GIT_USERNAME")
if git_username and app.config.get("SPIFFWORKFLOW_BACKEND_GIT_USER_EMAIL") is None:
app.config["SPIFFWORKFLOW_BACKEND_GIT_USER_EMAIL"] = f"{git_username}@users.noreply.github.com"
if app.config["SPIFFWORKFLOW_BACKEND_DEFAULT_USER_GROUP"] == "":
app.config["SPIFFWORKFLOW_BACKEND_DEFAULT_USER_GROUP"] = None