{"object_kind":"push","event_name":"push","before":"0000000000000000000000000000000000000000","after":"c1350f40bdc769514f637b4b6754c4ff3ef67b66","ref":"refs/heads/bg/ip-config-crash","ref_protected":false,"checkout_sha":"c1350f40bdc769514f637b4b6754c4ff3ef67b66","message":null,"user_id":1050,"user_name":"Beniamino Galvani","user_username":"bgalvani","user_email":"","user_avatar":"https://gitlab.freedesktop.org/uploads/-/system/user/avatar/1050/avatar.png","project_id":411,"project":{"id":411,"name":"NetworkManager","description":"NetworkManager — network management daemon","web_url":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager","avatar_url":"https://gitlab.freedesktop.org/uploads/-/system/project/avatar/411/nm_logo.png","git_ssh_url":"git@ssh.gitlab.freedesktop.org:NetworkManager/NetworkManager.git","git_http_url":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git","namespace":"NetworkManager","visibility_level":20,"path_with_namespace":"NetworkManager/NetworkManager","default_branch":"main","ci_config_path":"","homepage":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager","url":"git@ssh.gitlab.freedesktop.org:NetworkManager/NetworkManager.git","ssh_url":"git@ssh.gitlab.freedesktop.org:NetworkManager/NetworkManager.git","http_url":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git"},"commits":[{"id":"c1350f40bdc769514f637b4b6754c4ff3ef67b66","message":"ip-config: fix crash in DNS options evaluation\n\nFixes: 58287cbcc0c8 ('core: rework IP configuration in NetworkManager using layer 3 configuration')\n","title":"ip-config: fix crash in DNS options evaluation","timestamp":"2025-05-16T09:41:03+02:00","url":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager/-/commit/c1350f40bdc769514f637b4b6754c4ff3ef67b66","author":{"name":"Beniamino Galvani","email":"bgalvani@redhat.com"},"added":[],"modified":["src/core/nm-ip-config.c"],"removed":[]}],"total_commits_count":1,"push_options":{},"repository":{"name":"NetworkManager","url":"git@ssh.gitlab.freedesktop.org:NetworkManager/NetworkManager.git","description":"NetworkManager — network management daemon","homepage":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager","git_http_url":"https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git","git_ssh_url":"git@ssh.gitlab.freedesktop.org:NetworkManager/NetworkManager.git","visibility_level":20}}