PR البحث: إضافة للبحث عن طلبات السحب والمشاكل في جيتهاب
بحث PR هو إضافة لمتصفح Chrome تم تطويرها بواسطة rikucherry0522. يندرج تحت فئة المتصفحات ويصنف كفئة فرعية للإضافات والأدوات. تهدف هذه الإضافة المجانية إلى تعزيز وظائف البحث لـ GitHub PRs (Pull Requests) والقضايا.
مع بحث PR ، يمكن للمستخدمين الوصول إلى خيارات إضافية لتصفية PRs والقضايا. تضيف الإضافة قوائم منسدلة لتصفية حسب النوع والحالة والكلمات الرئيسية ، مما يتيح للمستخدمين تضييق نتائج البحث الخاصة بهم. بالإضافة إلى ذلك ، يوفر بحث PR محددات تاريخ للبحث بواسطة تاريخ محدد أو نطاق تاريخي.
تُعرض عناصر واجهة المستخدم الإضافية بشكل ملائم أسفل رأس حاوية الصفحة في صفحات قائمة المشكلة و PR ، مما يجعل من السهل على المستخدمين الوصول إلى وظائف البحث المحسنة واستخدامها.
بحث PR هو أداة قيمة لمستخدمي GitHub الذين يعملون بشكل متكرر مع PRs والقضايا. يبسط عملية البحث ويوفر مزيدًا من التحكم والمرونة في العثور على PRs أو القضايا المحددة التي يحتاجون إليها.
