Skip to content

rename github org#17

Merged
nicks merged 1 commit intomasterfrom
nicks/rename
May 15, 2020
Merged

rename github org#17
nicks merged 1 commit intomasterfrom
nicks/rename

Conversation

@nicks
Copy link
Member

@nicks nicks commented May 15, 2020

Hello @nicks,

Please review the following commits I made in branch nicks/rename:

d01a789 (2020-05-15 17:20:16 -0400)
rename github org

Code review reminders, by giving a LGTM you attest that:

  • Commits are adequately tested
  • Code is easy to understand and conforms to style guides
  • Incomplete code is marked with TODOs
  • Code is suitably instrumented with logging and metrics

@nicks nicks merged commit d6774e6 into master May 15, 2020
@nicks nicks deleted the nicks/rename branch May 15, 2020 21:32
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.

1 participant