Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added new section about relocating parliament #637

Merged
merged 1 commit into from Aug 4, 2019

Conversation

@jt-nti
Copy link
Contributor

@jt-nti jt-nti commented Jul 9, 2019

No description provided.

@openpolitics-bot
Copy link
Member

@openpolitics-bot openpolitics-bot commented Jul 10, 2019

This proposal is open for discussion and voting. If you are a contributor to this repository (and not the proposer), you may vote on whether or not it is accepted.

How to vote

Vote by entering one of the following symbols in a comment on this pull request. Only your last vote will be counted, and you may change your vote at any time until the change is accepted or closed.

vote symbol type this points
Yes :white_check_mark: 1
No :negative_squared_cross_mark: -1
Abstain 🤐 :zipper_mouth_face: 0
Block 🚫 :no_entry_sign: -1000

Proposals will be accepted and merged once they have a total of 2 points when all votes are counted. Votes will be open for a minimum of 7 days, but will be closed if the proposal is not accepted after 90.

Votes are counted automatically here, and results are set in the merge status checks below.

Changes

@jt-nti, if you want to make further changes to this proposal, you can do so by clicking on the pencil icons here. If a change is made to the proposal, no votes cast before that change will be counted, and votes must be recast.

@Floppy
Copy link
Member

@Floppy Floppy commented Jul 10, 2019

I'm all for this - I could have sworn we had something in here already, but I can't find it. Perhaps it never got through before.

Vote:

@philipjohn
Copy link
Member

@philipjohn philipjohn commented Jul 11, 2019

Vote:

@Floppy
Copy link
Member

@Floppy Floppy commented Jul 23, 2019

Sorry @jt-nti, this should have automatically merged by now, but I broke something. I thought I'd fixed it Sunday night, but apparently not. Bear with me :)

@Floppy
Copy link
Member

@Floppy Floppy commented Aug 4, 2019

Vote:

@openpolitics-bot openpolitics-bot merged commit 5594349 into openpolitics:master Aug 4, 2019
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

4 participants