Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with retag-request
Search options not deleted
user 195637
Use for Meta Questions related to changing tags on existing questions (merge, manual changes, anything basically).
4
votes
1
answer
97
views
Merge sge into gridengine
The tags sge and gridengine should be merged as they both refer to the family of cluster batch schedulers descended from Sun Grid Engine. I suggest making sge an alias to gridengine. While the Son o …
- 376