15:01:52 #startmeeting RELENG (2020-09-01) 15:01:52 Meeting started Tue Sep 1 15:01:52 2020 UTC. 15:01:52 This meeting is logged and archived in a public location. 15:01:52 The chair is mboddu. Information about MeetBot at http://wiki.debian.org/MeetBot. 15:01:52 Useful Commands: #action #agreed #halp #info #idea #link #topic. 15:01:52 The meeting name has been set to 'releng_(2020-09-01)' 15:01:52 #meetingname releng 15:01:52 The meeting name has been set to 'releng' 15:01:52 #chair nirik sharkcz pbrobinson pingou mboddu dustymabe ksinny jednorozec 15:01:52 #topic init process 15:01:52 Current chairs: dustymabe jednorozec ksinny mboddu nirik pbrobinson pingou sharkcz 15:02:57 hi guys, I'm here 15:04:22 รณ/ 15:05:16 Hello 15:05:29 Lets get started 15:05:35 #topic Alt arch updates 15:05:39 sharkcz: How's s390x? 15:05:49 * mboddu goes away :D 15:06:07 waiting on new hw to be in production :-) 15:06:37 and there were some IO setup changes, so the builders might be a bit faster now 15:07:49 and s390x + LTO is good to reveal hidden bugs in runtime, got eg. systemd-tmpfiles crashing 15:08:16 but overall we are good :-) 15:08:56 sharkcz: When is the new hw expected to be deployed? 15:10:37 the admins provision high priority environments now, so at some point the load on the old z13 could be lower, but I don't have any exact timeframe 15:14:42 Thanks sharkcz 15:15:35 #info Waiting on new hw to be in production, there were some IO setup changes, so the builders might be a bit faster now and s390x + LTO is good to reveal hidden bugs in runtime, got eg. systemd-tmpfiles crashing 15:18:46 #topic #9670 Please delete cmake-ftbfs branch of rpms/brotli 15:18:52 #link https://pagure.io/releng/issue/9670 15:19:56 pingou: Can I just use '--delete' or something else needs to be done? 15:20:18 After checking no builds were submitted from that branch 15:20:46 ^ using https://pagure.io/releng/blob/master/f/scripts/distgit-branch-unused.py 15:24:56 mboddu: no idea, let me check this 15:25:39 pingou: Well, FESCo approved removing of non release branches provided there isn't a build submitted from that branch, but just checking how to delete it 15:26:07 git branch -d on the server I guess 15:26:58 Okay, what happens if I run 'git push --delete origin/blah' 15:27:00 ? 15:27:35 Or 'git push origin --delete blah'? 15:27:56 ^ is the right one 15:28:48 won't work 15:28:51 try :) 15:31:59 Okay, I will give it a shot 15:32:18 If not, git branch -d on the server (which I really would like to avoid) 15:40:41 #topic Open Floor 15:41:38 Anything else here? 15:42:15 nope 15:43:48 Okay 15:44:12 I will give 15 min back to you guys 15:44:37 Thanks everyone for joining 15:44:41 #endmeeting