تنزيل GitHub PR Label Filter Tool لنظام Chrome V 1.3.0

أداة تصفية تسميات PR على GitHub هي إضافة لمتصفح Chrome مصممة لتعزيز سير العمل للمطورين وقادة الفرق والمساهمين في المصادر المفتوحة من خلال السماح لهم بتصفية طلبات سحب GitHub (PRs) بناءً على التسميات. تبسط هذه الأداة عملية البحث، مما يمكّن المستخدمين من التركيز على PRs ذات الصلة دون عناء تذكر بناء جملة البحث المعقد. مع واجهتها سهلة الاستخدام، تدعم إنشاء استعلامات تسميات معقدة بصريًا، مما يجعل العملية بديهية وفعالة.

تشمل الميزات الرئيسية منشئ استعلام بصري لتسهيل التلاعب بمجموعات التسميات، ودعم تركيبات AND/OR، والقدرة على استبعاد التسميات من عمليات البحث. كما تحافظ الإضافة على الاستعلامات الموجودة وتقدم تحديثات في الوقت الحقيقي لنتائج PR على GitHub. خفيفة وسريعة، تتكامل بسلاسة في المتصفح، وتعمل مع الوضع المظلم، وهي واعية للسياق، حيث تنشط فقط على صفحات PR على GitHub للحفاظ على تجربة خالية من الفوضى.