search

gplessis / dotdeb-php

Dotdeb : PHP packages
https://www.dotdeb.org/
Other
125 stars 23 forks source link

[Question] How can we help to maintain? #160

Closed wandersonwhcr closed 7 years ago

wandersonwhcr commented 7 years ago

Hello,

I just forked your repo and read the history with GitK. I tried to recreate the same structure with PHP 7.1. I don't know if it is correct, but when I try to create a PR, Github "ignores" merges with unrelated histories.

Is there a way to help you?

https://github.com/wandersonwhcr/dotdeb-php/tree/master-7.1/jessie

ty

gplessis commented 7 years ago

Thanks for your help, it's appreciated. But I made a decision about PHP 7.1. See #155. Feel free to use deb.sury.org.

wandersonwhcr commented 7 years ago

That's sad :cry:

BTW, thank you for your effort building packages for us and good luck in your new projects ;)

gplessis commented 7 years ago

I know it's sad, it has been a difficult decision to make. But since the official maintainer already provides the packages, there's no point for me to duplicate the effort.

Thanks for using Dotdeb.

wandersonwhcr commented 7 years ago

yeah, it's understandable... :)