php / php/php-src

Disable stale bot or extend period

Ouverte
#23,713 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Feature Status: Needs Triage
Langage dominant
C
Étoiles
40.4k
Forks
8.2k
Merge moyen
2 j 13 h
PR mergées (30 j)
96

Description

Description

My feature request got closed by the GitHub bot: https://github.com/php/php-src/issues/21324#event-31212229923

Even though I am still interested in this feature, it didn't let me enough time, 14 days in the busiest period of the year is clearly not enough.

Also this is an insult to the time we are taking, as contributors, to identify issues / missing features and creating reports.

I understand the need to identify issues that are not relevant anymore, but feature requests are always relevant. Even if it was just for issues, 14 days is way too short, we have lives, kids, works, and other more important stuff, we are not AI machines, please allow us more time or allow us to reopen issues…

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Piste de recherche

Examinez l’issue et l’événement liés pour comprendre comment le stale bot a fermé la demande de fonctionnalité, puis localisez la configuration ou la politique du stale bot du repository. C’est terminé lorsque le comportement demandé a été clairement décidé et que le bot est désactivé, que sa période est prolongée ou que la réouverture est prise en charge comme convenu.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Stack technique
github
Domaine
tooling
Type d'issue
Fonctionnalité
Difficulté
4/5
Temps estimé
3-5 jours
Activité
Active
Clarté
Plutôt claire
Accessibilité débutants
35/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.