Skip to content

deb/rpm repository infrastructure #135

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.

Sign up for GitHub

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

Jump to bottom
Closed
gsmolk opened this issue Nov 28, 2019 · 1 comment
Closed

deb/rpm repository infrastructure #135

gsmolk opened this issue Nov 28, 2019 · 1 comment
Assignees
@gsmolk
Labels
enhancement

Comments

@gsmolk
Copy link
Contributor

gsmolk commented Nov 28, 2019 •
edited
Loading

  • scripts and specs for building rpm repository
  • scripts and specs for building deb repository
@gsmolk gsmolk self-assigned this Nov 28, 2019
gsmolk added a commit that referenced this issue Nov 28, 2019
@gsmolk
[Issue #135] deb and rpm repository infrastructure
28f1ca5
gsmolk added a commit that referenced this issue Nov 29, 2019
@gsmolk
[Issue #135] minor change in the directory hierarchy of mamonsu repos…
46e6164 
…itory
gsmolk added a commit that referenced this issue Jan 20, 2020
@gsmolk
[Issue #135] deb/rpm repository infrastructure
02366b1
@gsmolk
Copy link
Contributor Author

gsmolk commented Jan 20, 2020

Merged.

@gsmolk gsmolk closed this as completed Jan 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gsmolk gsmolk

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@gsmolk