Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 6, 2020

Merging b1e2c9b into v1

Conductor for this PR is @Daverlo

Contains the following pull requests:

@marcogario
Copy link
Contributor

@Daverlo I manually created this to discuss whether we want to cherry-pick #255 or do a proper update of v1. I think a proper update might be the best.

Copy link
Contributor

@Daverlo Daverlo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Unless someone objects I also think it is better to do a proper update

@marcogario marcogario merged commit 4a27006 into v1 Oct 7, 2020
@marcogario marcogario deleted the update-v1-b1e2c9b8 branch October 7, 2020 11:31
simon-engledew pushed a commit that referenced this pull request Dec 2, 2020
commit 1dd265a
Merge: 4dcb320 c3a9325
Author: Simon Engledew <simon-engledew@github.com>
Date:   Wed Dec 2 08:31:48 2020 +0000

    Merge pull request #333 from github/simon-engledew/hide-warnings-v1

    Hide a warning that is confusing on GHES

commit c3a9325
Author: Simon Engledew <simon-engledew@github.com>
Date:   Tue Dec 1 16:54:23 2020 +0000

    Hide an warning that is confusing on GHES

commit 4dcb320
Merge: 577fc45 b15854c
Author: David Verdeguer <47184891+Daverlo@users.noreply.github.com>
Date:   Mon Nov 23 15:01:13 2020 +0100

    Merge pull request #317 from github/update-v1-b15854c9

    Merge main into v1

commit 577fc45
Merge: 1de54f1 d4eb1e3
Author: Robert <robertbrignull@github.com>
Date:   Mon Nov 16 12:03:04 2020 +0000

    Merge pull request #306 from github/update-v1-d4eb1e36

    Merge main into v1

commit 1de54f1
Merge: e3bfd25 4b301bd
Author: Robin Neatherway <rneatherway@github.com>
Date:   Mon Nov 9 15:42:20 2020 +0000

    Merge pull request #295 from github/main

    Update v1 with new CodeQL bundle

commit e3bfd25
Merge: 935dd40 f13bd45
Author: Simon Engledew <simon-engledew@github.com>
Date:   Mon Nov 9 10:22:41 2020 +0000

    Merge pull request #293 from github/update-v1-f13bd452

    Merge main into v1

commit 935dd40
Merge: 253ef42 9a0139e
Author: David Verdeguer <47184891+Daverlo@users.noreply.github.com>
Date:   Tue Nov 3 11:27:07 2020 +0100

    Merge pull request #286 from github/update-v1-9a0139ee

    Merge main into v1

commit 253ef42
Merge: 7507a5a 46110c3
Author: David Verdeguer <47184891+Daverlo@users.noreply.github.com>
Date:   Wed Oct 28 11:38:54 2020 +0100

    Merge pull request #279 from github/update-v1-46110c36

    Merge main into v1

commit 7507a5a
Merge: 4a27006 c8b8c04
Author: Robin Neatherway <rneatherway@github.com>
Date:   Mon Oct 19 12:38:26 2020 +0100

    Merge pull request #269 from github/update-v1-c8b8c041

    Merge main into v1

commit 4a27006
Merge: 5dc2db0 b1e2c9b
Author: Marco Gario <marcogario@github.com>
Date:   Wed Oct 7 13:31:57 2020 +0200

    Merge pull request #256 from github/update-v1-b1e2c9b8

    Merge main into v1

commit 5dc2db0
Merge: 8ea621e a1fc3a5
Author: Chris Raynor <cbraynor@github.com>
Date:   Mon Oct 5 16:29:49 2020 +0100

    Merge pull request #252 from github/update-v1-a1fc3a5e

    Merge main into v1

commit 8ea621e
Merge: c7c948a f2e557e
Author: Robert <robertbrignull@github.com>
Date:   Tue Sep 29 10:34:59 2020 +0100

    Merge pull request #234 from github/update-v1-f2e557e7

    Merge main into v1

commit c7c948a
Merge: f6894d6 b2dfa6e
Author: Robert <robertbrignull@github.com>
Date:   Mon Sep 21 11:04:47 2020 +0100

    Merge pull request #224 from github/update-v1-b2dfa6e6

    Merge main into v1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants