Skip to content

Instantly share code, notes, and snippets.

View timja's full-sized avatar

Tim Jacomb timja

View GitHub Profile
@timja
timja / pushevents.txt
Created May 23, 2022 09:23
pushevents
2022-05-23 09:18:39.142+0000 [id=1078310] INFO o.j.p.g.w.s.DefaultPushGHEventSubscriber#onEvent: Received PushEvent for https://github.com/****/***** from 140.82.115.93 → 10.10.72.35 → 140.82.115.93 ⇒ https://jenkins/github-webhook/
2022-05-23 09:18:39.324+0000 [id=1035877] INFO o.j.p.g.w.s.DefaultPushGHEventSubscriber#onEvent: Received PushEvent for https://github.com/****/***** from 140.82.115.96 → 10.10.72.4 → 140.82.115.96 ⇒ https://jenkins/github-webhook/
2022-05-23 09:18:43.296+0000 [id=1078310] INFO o.j.p.g.w.s.DefaultPushGHEventSubscriber#onEvent: Received PushEvent for https://github.com/****/***** from 140.82.115.117 → 10.10.72.124 → 140.82.115.117 ⇒ https://jenkins/github-webhook/
2022-05-23 09:18:43.396+0000 [id=973326] INFO o.j.p.g.w.s.DefaultPushGHEventSubscriber#onEvent: Received PushEvent for https://github.com/****/***** from 140.82.115.111 → 10.10.72.4 → 140.82.115.111 ⇒ https://jenkins/github-webhook/
2022-05-23 09:18:43.399+0000 [id=1078311] INFO o.j.p.g.w.s.DefaultPushGHEventSubscriber#on
@timja
timja / allowed_labels.txt
Last active June 20, 2022 20:08
Jira to GitHub migration
JEP-200
accessibility
agent
bug
core
documentation
help-wanted
imported-jira-issue
java11-compatibility
java11-devtools-compatibility
@timja
timja / remove-parent-team-from-all-children.bash
Created March 29, 2023 09:13
Removes a specified parent team from all children
#!/bin/bash
# Name of the parent team to remove
org="$1"
PARENT_TEAM_ID="$2"
# Iterate over all teams in the organization
items=$(gh api "/orgs/$org/teams" --paginate | jq -c -r '.[]')
IFS=$'\n'