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

Reorganize repository, move to circleCI #17

Merged
merged 9 commits into from
Mar 20, 2019
Merged

Conversation

jlevesy
Copy link
Owner

@jlevesy jlevesy commented Mar 18, 2019

This PR:

  • Move all the logic under pkg
  • Remove useless tooling
  • Setup a CircleCI build
  • Fixes various nits in comments.

Fixes #14 #11 #15

@jlevesy jlevesy changed the title Chore/reorganize sources Reorganize repository, move to circleCI Mar 18, 2019
@jlevesy jlevesy closed this Mar 18, 2019
@jlevesy jlevesy reopened this Mar 18, 2019
@jlevesy jlevesy force-pushed the chore/reorganize-sources branch 15 times, most recently from bbdb479 to 6d114ae Compare March 19, 2019 09:20
jlevesy and others added 4 commits March 19, 2019 10:21
Signed-off-by: Damien DUPORTAL <[email protected]>

wip ci

Signed-off-by: Damien DUPORTAL <[email protected]>

wip ci

Signed-off-by: Damien DUPORTAL <[email protected]>

wip ci

Signed-off-by: Damien DUPORTAL <[email protected]>

wip ci

Signed-off-by: Damien DUPORTAL <[email protected]>

wip ci

Signed-off-by: Damien DUPORTAL <[email protected]>
@jlevesy jlevesy requested a review from dduportal March 19, 2019 13:15
@jlevesy jlevesy merged commit 2dc8be0 into master Mar 20, 2019
@jlevesy jlevesy deleted the chore/reorganize-sources branch March 20, 2019 07:34
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.

2 participants