Set user.email in local git configs

This commit is contained in:
2025-09-16 11:23:12 +02:00
parent 1d02fa9d95
commit b61121b910
+23
View File
@@ -137,6 +137,19 @@
- bec_widgets
when: not ansible_check_mode
- name: Set user.email in git repositories
become_user: "{{ deployment_user }}"
community.general.git_config:
name: user.email
value: "{{ git_username }}@psi.ch"
scope: local
repo: "{{ timestamped_deployment_path }}/{{ item }}"
loop:
- bec
- ophyd_devices
- bec_widgets
when: not ansible_check_mode
- name: Set pull.rebase in git repositories
become_user: "{{ deployment_user }}"
community.general.git_config:
@@ -198,6 +211,16 @@
loop: "{{ bec_plugins | dict2items }}"
when: not ansible_check_mode
- name: Set user.email in git repositories of plugins
become_user: "{{ deployment_user }}"
community.general.git_config:
name: user.email
value: "{{ git_username }}@psi.ch"
scope: local
repo: "{{ timestamped_deployment_path }}/{{ item.key }}"
loop: "{{ bec_plugins | dict2items }}"
when: not ansible_check_mode
- name: Set pull.rebase in git repositories of plugins
become_user: "{{ deployment_user }}"
community.general.git_config: