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

Update links to Discord server #1940

Merged
merged 1 commit into from
Jun 11, 2017
Merged

Conversation

cez81
Copy link
Contributor

@cez81 cez81 commented Jun 11, 2017

As title

@pgaskin
Copy link
Contributor

pgaskin commented Jun 11, 2017

LGTM

@tboerger tboerger added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Jun 11, 2017
@sapk
Copy link
Member

sapk commented Jun 11, 2017

LGTM

@tboerger tboerger added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Jun 11, 2017
@andreynering
Copy link
Contributor

@cez81 Good catches. Thank you!

@andreynering andreynering merged commit 91f27bf into go-gitea:master Jun 11, 2017
@lunny lunny added this to the 1.2.0 milestone Jun 12, 2017
@lunny lunny added the type/docs This PR mainly updates/creates documentation label Jun 12, 2017
@cez81 cez81 deleted the discord_links branch June 12, 2017 13:24
@go-gitea go-gitea locked and limited conversation to collaborators Nov 23, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. type/docs This PR mainly updates/creates documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants