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

NOISSUE - Remove unused files #33

Merged
merged 3 commits into from
Dec 11, 2024
Merged

NOISSUE - Remove unused files #33

merged 3 commits into from
Dec 11, 2024

Conversation

rodneyosodo
Copy link
Member

What type of PR is this?

This is a refactor PR as it doesn't add or remove any feature.

What does this do?

It add CI pipeline and Makefile

Which issue(s) does this PR fix/relate to?

No issue

Have you included tests for your changes?

Tested manually

Did you document any new/modified features?

No

Notes

@dborovcanin dborovcanin merged commit d5984da into main Dec 11, 2024
1 check passed
@dborovcanin dborovcanin deleted the cleanup branch December 11, 2024 10:45
JeffMboya pushed a commit to JeffMboya/propeller that referenced this pull request Dec 15, 2024
* chore: remove unused files

Signed-off-by: Rodney Osodo <[email protected]>

* fix: add ci for lint and build check

Signed-off-by: Rodney Osodo <[email protected]>

* chore: add apache license

Signed-off-by: Rodney Osodo <[email protected]>

---------

Signed-off-by: Rodney Osodo <[email protected]>
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